Zb 2003, Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings - Lecture Notes in Computer Science - Didier Bert - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540402534 - 2003. gada 20. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Didier Bert
Zb 2003, Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings - Lecture Notes in Computer Science

Cena
€ 103,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 8. - 16. okt.
Saņemiet paziņojumus par jauniem Didier Bert izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Contains the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. This book documents the 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 and tools.

554 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2003. gada 20. maijs
ISBN13 9783540402534
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 554
Izmēri 156 × 234 × 29 mm   ·   784 g
Valoda Vācu  
Redaktors Bert, Didier
Redaktors Bowen, Jonathan P.
Redaktors King, Steve
Redaktors Walden, Marina

Vairāk no tā paša izdevēja

Skatīt visus Didier Bert