Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

ZUM '95: The Z Formal Specification Notation

9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995. Proceedings

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 263 b
107.29 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Computational Intelligence Oliver Kramer / Buch Broschur
common.buy 27.99 €
PETRI COMPOSTELLANI DE CONSOLATIONE RATIONIS. PEDRO COMPOSTELANO, "LA CONSOLACIÓ ENRIQUE MONTERO CARTELLE / Buch Broschur
common.buy 38.49 €
Weitere Verfassungen der Beliebigkeit Pelwer Selsheim / Buch Broschur
common.buy 11.39 €
Orquestacion de la transformacion Michael Wade / E-Book Adobe ePub DRM
common.buy 12.59 €
Vegetarische Sommerküche Paul Ivic / Buch Hardcover
common.buy 32.19 €
Resumen Y Analisis: El Poder Del Ahora (The Power Of Now) - Basado En El Libro Escrito Por Eckhart Tolle Instabooks Editorial / E-Book Adobe ePub DRM
common.buy 10.69 €
Koraliki drewniane w pastelowych kolorach 80 szt. . / Buch binding.
common.buy 3.29 €
Digitale Medien Und Soziale Arbeit Daniel Woldrich / Buch Broschur
common.buy 18.99 €
Niezłomny wyd. 2023 Caroline Alexander / Buch Broschur
common.buy 14.29 €
Deutsch im Einsatz Coursebook Digital Edition Sophie Duncker / E-Book Adobe ePub DRM
common.buy 44.89 €
DOS Mundos Magdalena Andrade / Audio Audio CD
common.buy 63.09 €
Der Gott des Gemetzels, 1 Audio-CD Yasmina Reza / Audio Audio CD
common.buy 14.39 €
Koran lesen lernen: Der Koran erklart - Grundlagen der Koranexegese Artemis Saage - Deutschland / E-Book Adobe ePub DRM
common.buy 11.39 €
Etty Hillesum Alexandra Pleshoyano / Buch Broschur
common.buy 36.89 €
Verdrangung widerstandiger Lesarten? Medien und Macht bei Jean Baudrillard und Stuart Hall Andreas Mohr / Buch Broschur
common.buy 47.95 €
سِتَّةُ فُصُولٍ مِنَّا هبه أسعد / Buch Broschur
common.buy 14.69 €
Pamietniki Jan Chryzostom Pasek / Buch Hardcover
common.buy 37.69 €
WITHOUT YOU FANFARE -PARTITION+PARTIES SEPAREES RON SEBREGTS Buch binding.
common.buy 121.29 €
Predigten uber Martin Luther Cyriacus Spangenberg / Buch Broschur
common.buy 16.90 €
El ROI como métrica de la eficacia del marketing : cálculo a través de métodos cuantitativos Pablo J. López Tenorio / Buch Hardcover
common.buy 10.29 €
About a boy Sonja Markowski / Buch Broschur
common.buy 14.49 €
Contratos internacionales de software Francisco López-Tarruella Martínez / Buch Broschur
common.buy 58.49 €
Middlepost Antony Sher / Buch Broschur
common.buy 37.99 €
Révolution - tome 2 Les désordres Hilary Mantel / Buch Broschur
common.buy 28.39 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

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

Das könnte Sie auch interessieren

A History of Vermont, from Its First Settlement to the Present Time: With a Geographical Account of the Country, and a View of Its Original Inhabitant Francis Smith Eastman / Buch Broschur
common.buy 20.79 €
Top
Original Tarbell Lessons in Magic Harlan Tarbell / Buch Broschur
common.buy 56.79 €
Comanches T R Fehrenbach / E-Book Adobe ePub DRM
common.buy 13.69 €
The Cloud Collector's Handbook Gavin Pretor-Pinney / Buch Hardcover
common.buy 15.79 €
Civil Engineer's Handbook of Professional Practice , 2nd Edition Karen Hansen / Buch Hardcover
common.buy 156.09 €
Atlas of Cone Beam Computed Tomography Yaser Safi / Buch Hardcover
common.buy 169.89 €
'Militant Democracy' Principle in Modern Democracies Markus Thiel / Buch Broschur
common.buy 79.79 €
Sin And Its Consequences William Ellery Channing / Buch Hardcover
common.buy 35.79 €
Toil And Travel: Being A True Story Of Roving And Ranging When On A Voyage Homeward Bound Round The World (1892) John MacGregor / Buch Broschur
common.buy 34.79 €
Common EU Maritime Transport Policy Athanasios A. Pallis / Buch Broschur
common.buy 69.19 €
Marigold Fairy Makes a Friend, 2: Ready-To-Read Level 1 Elizabeth Dennis / Buch Hardcover
common.buy 17.39 €
Leafy Sea Dragons Tara Raymo / Buch Broschur
common.buy 8.79 €
Günstig
Solutions: Pre-Intermediate: Teacher's Pack (3rd) Christina de la Mare / Buch Broschur
common.buy 25.59 €
Alice: Out of the Box: A collection of Wonderland-themed dolls Alison Boyd Rasmussen / Buch Broschur
common.buy 16.39 €
Wheelchairs Scooters and Sticks TERRY REYNOLDS / Buch Broschur
common.buy 23.19 €
Back home, into the Sky! Tatiana Danina / Buch Broschur
common.buy 10.69 €
Foundation of Numerical Analysis: Implementation with GNU Octave/Matlab Dr S Nakamura / Buch Broschur
common.buy 18.19 €
Noirlathotep: Tales of Lovecraftian Crime Paul Brian McCoy / Buch Broschur
common.buy 15.39 €
Elijiah Felix Mendelssohn / Buch Broschur
common.buy 13.59 €
Leading School Improvement: Does gender matter? Didar Panah / Buch Broschur
common.buy 46.59 €
Influencers Carole Lamarque / Buch Broschur
common.buy 37.29 €
Kotlin Quick Start Guide Marko Devcic / Buch Broschur
common.buy 35.79 €
ZweybruCken in Command Neil Cogswell / Buch Broschur
common.buy 28.09 €
Rethinking Genre in Contemporary Global Cinema Silvia Dibeltulo / Buch Broschur
common.buy 165.79 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?