phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Zásilkovna 44 Kč Kurýr GLS 74 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Formal Methods and Software Engineering

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods and Software Engineering Jim Davies
Libristo kód: 01560067
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, října 2004
This book constitutes the refereed proceedings of the 6th International Conference on Formal Enginee... Celý popis
? points 304 b
3 037 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Egyptology Wayne Anderson / Pevná
common.buy 679 Kč
Génius i popleta Denise Fenziová / Pevná
common.buy 226 Kč
European Renaissance 1400-1600 Robin Kirkpatrick / Brožovaná
common.buy 962 Kč
2012, Das Bewusstsein der Neuen Zeit Lee Carroll / Pevná
common.buy 459 Kč
The Power of Choices Tracy A. Medling / Brožovaná
common.buy 275 Kč
Talking to God Thomas L Constable / Brožovaná
common.buy 566 Kč
Computer Chemistry Ivar Ugi / Brožovaná
common.buy 1 540 Kč
Corporate Environmental Strategy and Competitive Advantage Sanjay Sharma / Pevná
common.buy 3 630 Kč
Clinical Problem of Masochism Deanna Holtzman / Pevná
common.buy 3 485 Kč
Elektrotechnische Messkunde Paul Benjamin Arthur Linker / Brožovaná
common.buy 1 676 Kč
History of Greek Philosophy: Volume 4, Plato: The Man and his Dialogues: Earlier Period W. K. C. Guthrie / Pevná
common.buy 7 076 Kč
Esos Rincones Profundos De Mi Alma Georgina Ma Chahin / Brožovaná
common.buy 357 Kč
New Houses in Asia Publishing Images / Pevná
common.buy 997 Kč
Stressed Composite Structures Alexander G. Kolpakov / Pevná
common.buy 3 037 Kč
Menschliche Bewusstsein und der Hypertext - ein Strukturvergleich Anton Freibacher / Brožovaná
common.buy 1 049 Kč
Stigmatisierung und sprachliche Gewalt in Goethes Faust I Anja Schäfer / Brožovaná
common.buy 899 Kč

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.§The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.

Informace o knize

Plný název Formal Methods and Software Engineering
Autor Jim Davies, Wolfram Schulte, Mike Barnett
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2004
Počet stran 500
EAN 9783540238416
ISBN 3540238417
Libristo kód 01560067
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1590
Rozměry 155 x 235 x 28

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet