B '98, Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998 Proceedings - Lecture Notes in Computer Science - Bert Didier - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540644057 - 1998. gada 8. aprīlis
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Bert Didier
B '98, Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998 Proceedings - Lecture Notes in Computer Science

Cena
€ 53,99

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

Paredzamā piegāde . gada 29. okt. - . gada 6. nov.
Saņemiet paziņojumus par jauniem Bert Didier 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

Taken from the Second International B Conference, B'98, held in Montpellier, France, in April 1998, this text covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications and B extension proposals and support tools.

328 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1998. gada 8. aprīlis
ISBN13 9783540644057
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 328
Izmēri 156 × 234 × 17 mm   ·   426 g
Valoda Vācu  
Redaktors Didier, Bert

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

Skatīt visus Bert Didier