phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Formal Methods for Components and Objects, FMCO 2002

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods for Components and Objects, FMCO 2002 Frank S. de Boer
Libristo kód: 01558705
Nakladateľstvo Springer, Berlin, november 2002
This book presents revised tutorial lectures given by invited speakers at the First International Sy... Celý popis
? points 154 b
61.44 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Květa Fialová pod křídly andělů Josef Kubáník / Pevná
common.buy 8.77 €
Clara Grunwald und Maria Montessori Diana Stiller / Brožovaná
common.buy 68.40 €
Computer Safety, Reliability, and Security Rune Winther / Brožovaná
common.buy 61.44 €
Algebraic Geometry Solomon Lefschetz / Pevná
common.buy 148.01 €
lo fizo, fizo lo, fizol - Die Stellung der Klitika im 13. Jahrhundert und der Gegenwart Theresa Zuschnegg / Brožovaná
common.buy 39.34 €
Kolonien im Roemischen Reich mit besonderer Berucksichtigung der Zeit der Gracchen Andreas Staggl / Brožovaná
common.buy 36.41 €
7. Schuljahr, Arbeitsheft Heinz Griesel / List
common.buy 9.57 €
Communal Organization and Social Transition Barry Laffan / Brožovaná
common.buy 56.90 €
Fundamentals of Radiation Materials Science Gary Was / Pevná
common.buy 112.09 €
Gier Arne Dahl / Brožovaná
common.buy 10.28 €

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2002, held in Leiden, The Netherlands, in November 2002.The 21 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to complex software systems such as components and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

Informácie o knihe

Celý názov Formal Methods for Components and Objects, FMCO 2002
Autor Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2003
Počet strán 512
EAN 9783540203032
ISBN 3540203036
Libristo kód 01558705
Nakladateľstvo Springer, Berlin
Váha 800
Rozmery 156 x 234 x 26

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet