[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

ZUM '95: The Z Formal Specification Notation

Sprache EnglischEnglisch
Buch Broschur
Buch ZUM '95: The Z Formal Specification Notation Jonathan P. Bowen
Libristo-Code: 05274496
Verlag Springer, Berlin, November 1994
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in... Vollständige Beschreibung
? points 349 b
139.20 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Etty Hillesum Alexandra Pleshoyano / Broschur
common.buy 39.03 €
AIDS-Related Neoplasias Luzius Schmid / Broschur
common.buy 70.50 €
Beck'sches Handbuch der AG Florian Drinhausen / Hardcover
common.buy 231.01 €
Der Gott des Gemetzels, 1 Audio-CD Yasmina Reza / Audio CD
common.buy 13.10 €
Moys Classification and Thesaurus for Legal Materials Elizabeth M. Moys / Hardcover
common.buy 505.38 €
Digitale Medien Und Soziale Arbeit Daniel Woldrich / Broschur
common.buy 19.16 €
Wounds and Words Christa Schönfelder / Broschur
common.buy 70.00 €
Verdrangung widerstandiger Lesarten? Medien und Macht bei Jean Baudrillard und Stuart Hall Andreas Mohr / Broschur
common.buy 48.37 €

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.

Informationen zum Buch

Vollständiger Name ZUM '95: The Z Formal Specification Notation
Autor Jonathan P. Bowen, Michael G. Hinchey
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1995
Anzahl der Seiten 583
EAN 9783540602712
ISBN 3540602712
Libristo-Code 05274496
Verlag Springer, Berlin
Gewicht 774
Abmessungen 156 x 234 x 30

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker
Mathematik und Naturwissenschaften > Mathematik > Kombinatorik und Graphentheorie
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto