Zb 2002, Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings - Lecture Notes in Computer Science - D Bert - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540431664 - 2002. gada 16. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

D Bert
Zb 2002, Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings - Lecture Notes in Computer Science

Cena
€ 53,99

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

Paredzamā piegāde . gada 6. - 16. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem D 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 proceedings of the Second International Conference of B and Z Users, held in France in 2002. The 24 papers and three invited contributions document advances for the Z formal specification notion and cover the full scope for the B method, from theoretical issues to applications.

541 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2002. gada 16. janvāris
ISBN13 9783540431664
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 541
Izmēri 156 × 234 × 28 mm   ·   1,26 kg
Valoda Vācu  
Redaktors Bert, Didier
Redaktors Bowen, Jonathan P.
Redaktors Henson, Martin C.
Redaktors Robinson, Ken, Ph.d.

Vairāk no D Bert

Rādīt visu

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

Skatīt visus D Bert