Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft

VDM '90. VDM and Z - Formal Methods in Software Development

Nyelv AngolAngol
Könyv Puha kötésű
Könyv VDM '90. VDM and Z - Formal Methods in Software Development Dines Bj?rner
Libristo kód: 05274141
Kiadó Springer, Berlin, április 1990
The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development... Teljes leírás
? points 154 b
24 806 Ft
Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

30 nap a termék visszaküldésére


Ezt is ajánljuk


toplistás
Wiccapedia Leanna Greenaway / Kemény kötésű
common.buy 6 370 Ft
Rock 'n' Roll Michele Primi / Kemény kötésű
common.buy 11 937 Ft
Scenarios in Public Administration Robert J. Daniello / Puha kötésű
common.buy 22 555 Ft
Little Red Book of Teacher's Wisdom Diane Hodges / Kemény kötésű
common.buy 7 271 Ft
Unfinished Music Richard Kramer / Puha kötésű
common.buy 24 903 Ft
Traumatizing Theory Karyn Ball / Puha kötésű
common.buy 15 830 Ft
Spotlight on Early Childhood Music Education The National Association for Music Education / Puha kötésű
common.buy 22 071 Ft
Catholischer Spiegel Carl von Reifitz / Puha kötésű
common.buy 23 956 Ft
Western Response to Zoroaster Jacques Duchesne-Guillemin / Kemény kötésű
common.buy 37 098 Ft
Remorse, Penal Theory and Sentencing Hannah Maslen / Kemény kötésű
common.buy 49 277 Ft
Lamp of Umm Hashim Yahya Hakki / Puha kötésű
common.buy 7 997 Ft
South Asian Media Cultures Shakuntala Banaji / Kemény kötésű
common.buy 52 928 Ft
Lotte's Wohlfühlort Maureen Heinz / Kemény kötésű
common.buy 7 786 Ft
Nonlinear Electromechanical Effects And Applications Gerard A. Maugin / Kemény kötésű
common.buy 35 084 Ft
Uncut Diamonds Denese Keane / Puha kötésű
common.buy 6 870 Ft

The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming. In Europe, there is very much interest in methodology, semantics and techniques, that is, in understanding how we build and what it is that we are building. The papers of these proceedings basically fall into four major groups: Applications, Methodology, Formalisations, and Foundations. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems.

Információ a könyvről

Teljes megnevezés VDM '90. VDM and Z - Formal Methods in Software Development
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1990
Oldalszám 588
EAN 9783540525134
ISBN 3540525130
Libristo kód 05274141
Súly 1078
Méretek 160 x 240 x 30
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása