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

ZB 2003: Formal Specification and Development in Z and B

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha ZB 2003: Formal Specification and Development in Z and B Marina Walden
Libristo kód: 01562689
Nakladatelství Springer, Berlin, listopadu 2002
This book constitutes the refereed proceedings of the Third International Conference of Z and B User... 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

Physical Control Methods in Plant Protection Charles Vincent / Pevná
common.buy 5 488 Kč
Trau deiner Kraft Anselm Grün / Pevná
common.buy 388 Kč
Vater, Tochter, Schwiegersohn Jessica Quinlan / Pevná
common.buy 1 076 Kč
Light on the Path and Through the Gates of Gold Mabel Collins / Brožovaná
common.buy 564 Kč
From the Milk River: Spatial and Temporal Processes in Northwest Amazonia Christine Hugh-Jones / Brožovaná
common.buy 1 682 Kč
Demanding the Impossible Slavoj Žizek / Brožovaná
common.buy 542 Kč
Verification of Sequential and Concurrent Programs Krzysztof R. Apt / Pevná
common.buy 3 037 Kč
The Big-Knot: Short way To the basic islamic Philosophy. Alegmi M Sofia / Brožovaná
common.buy 265 Kč
Medieval London JOEL ROSENTHAL / Pevná
common.buy 3 842 Kč

This book constitutes the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003.§The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

Informace o knize

Plný název ZB 2003: Formal Specification and Development in Z and B
Autor Marina Walden, Didier Bert, Steve King
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2003
Počet stran 554
EAN 9783540402534
ISBN 3540402535
Libristo kód 01562689
Nakladatelství Springer, Berlin
Váha 840
Rozměry 156 x 234 x 29

Kategorie

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 > Teorie algoritmů
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