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
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

ZUM '97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April 3-4, 1997. Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch ZUM '97: The Z Formal Specification Notation Jonathan P. Bowen
Libristo-Code: 05274681
Verlag Springer, Berlin, November 1996
This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

La presse et ses images - Die Presse und ihre Bilder Claire Aslangul-Rallo / Buch Hardcover
common.buy 93.19 €
O Ensino Superior em Moçambique na Era Digital Luis Borges Gouveia / Buch Broschur
common.buy 79.09 €
Fetysz Przemysław Piotrowski / Buch Broschur
common.buy 11.29 €
Top
Krótka historia czarnych dziur. Dlaczego niemal wszystko, co o nich wiesz, jest błędne Becky Smethurst / Buch Hardcover
common.buy 13.59 €
Untersuchung der antimikrobiellen Aktivität von Pyrido[2,3-d]pyrimidin-2-thion-Derivaten Nidhi Joshi / Buch Broschur
common.buy 39.90 €
Ніщо не може уникнути ва&#1096 ALDIVAN TORRES / Buch Broschur
common.buy 9.59 €
PARIS RUTHERFURD / Buch Broschur
common.buy 14.79 €
Etienne Cornevin Alexander Balogh / Buch Hardcover
common.buy 13.79 €
Commando Musik De Vries / Buch Broschur
common.buy 33.09 €
RELICS OF THE PAST ORCHESTRE-PARTITION+PARTIES SEPAREES SEAN O'LOUGHLIN Buch binding.
common.buy 79.99 €
Oeuvres Completes de Alphonse Daudet.Roman. Tome 1 Daudet-A / Buch Broschur
common.buy 29.09 €
Das Ich und sein Gehirn Karl R. Popper / Buch Broschur
common.buy 25.69 €
Spiegel des Lebens Dirk Meierewert / Buch Broschur
common.buy 7.95 €
Flex und Flo - Ausgabe 2014. Themenheft.3 Judith Beerbaum / Buch Blatt
common.buy 13.39 €
Kaiser Leopold II. und die Franzoesische Revolution Adalbert Schultze / Buch Broschur
common.buy 24.50 €
Management von Passwoertern. Tools und Heuristiken Tobias Steinicke / Buch Broschur
common.buy 13.99 €
Urkunde - Eine Quellengattung des Mittelalters Katharina Hüfner / Buch Broschur
common.buy 18.95 €
Fünf Säulen der Erziehung Sigrid Tschöpe-Scheffler / Buch Broschur
common.buy 15.00 €
Nordbon Under Hednatiden. Popula R Framsta Llning AF Va Ra Fo Rfa Ders a Ldsta Kultur. Axel Emanuel Holmberg / Buch Broschur
common.buy 33.69 €
Studi Machiavelliani Jean-Jacques Marchand / Buch Broschur
common.buy 36.89 €
La Romanisation A L'Epoque D'Auguste Ramsay MacMullen / Buch Broschur
common.buy 37.79 €
Cómo se salvó Wang-Fô Marguerite Yourcenar / Buch Broschur
common.buy 22.39 €
El poder de la humildad Charles L. . . . [et al. ] Whitfield / Buch Broschur
common.buy 15.29 €
Leer en el centro escolar GEMMA LLUCH / Buch Broschur
common.buy 20.79 €

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997.The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.

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 '97: The Z Formal Specification Notation
Autor Jonathan P. Bowen, Michael G. Hinchey, David Till
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1997
Anzahl der Seiten 442
EAN 9783540627173
ISBN 3540627170
Libristo-Code 05274681
Verlag Springer, Berlin
Gewicht 578
Abmessungen 156 x 234 x 23

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
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

Stability of Stochastic Dynamical Systems R. F. Curtain / Buch Broschur
common.buy 37.69 €
walks near Guildford Bill Andrews / Buch Broschur
common.buy 7.69 €
How The Other Half Lives Jacob Riis / Buch Broschur
common.buy 12.79 €
Demnächst
Marvel Platinum: Definitve Guardians Of The Galaxy Reloaded Jim Valentino / Buch Broschur
common.buy 19.09 €
B is for Breathe Melissa Munro Boyd / Buch Broschur
common.buy 11.89 €
TELEPHONE, AND, OSHKOSH: TWO TELEGRAPHIC NOBLE / Buch Hardcover
common.buy 27.89 €
Antiquarian Ramble in the Streets of London, with Anecdotes of Their More Celebrated Residents, Volume 2 John Thomas Smith / Buch Hardcover
common.buy 40.69 €
Blessed Monsters Emily A. Duncan / Buch Broschur
common.buy 11.19 €
Studies in the Greek New Testament Stanley E. Porter / Buch Broschur
common.buy 38.79 €
Modelling and Analysis of Graduate Unemployment Jason Anquandah / Buch Broschur
common.buy 33.59 €
40 Andy Christiansen / Buch Hardcover
common.buy 31.29 €
Marry for Money, You'll Learn To Love Later! Dr. Roger J. Geronimo / Buch Broschur
common.buy 16.79 €
In the Mind of 69 Judith (University of East Anglia) Moore / Buch Broschur
common.buy 9.69 €
Edgar, or the English Monarch; An Heroick Tragedy [In Five Acts and in Verse]. Thomas Rymer / Buch Broschur
common.buy 15.59 €
new annual register, or general repository of history, politics, and literature, for the year 1794. To which is prefixed, the history of knowledge, le Multiple Contributors / Buch Broschur
common.buy 39.69 €
Selena - A Love Story James W / Buch Broschur
common.buy 25.79 €
Michael Jackson: Jazz Play-Along Volume 180 Michael Jackson / Buch Hardcover
common.buy 30.39 €
Poise, How to Attain It: Mental Efficiency Series V1 D. Starke / Buch Broschur
common.buy 25.89 €
Study Guide for William Shakespeare's A Midsummer Night's Dream Cengage Learning Gale / Buch Broschur
common.buy 12.19 €
Context Aware Human-Robot and Human-Agent Interaction Nadia Magnenat-Thalmann / Buch Broschur
common.buy 107.29 €
Puzzled and Pleased FRANCIS LATHOM / Buch Hardcover
common.buy 33.69 €
Memories of Aurelian Springs School Horace C Robertson / Buch Broschur
common.buy 12.59 €
Stepinac ROBIN HARRIS / Buch Hardcover
common.buy 40.69 €
Ex-Prisoner Possibilities With Real Estate Investors: Rehabilitating Properties & Lives Reverend Mike Wanner / Buch Broschur
common.buy 6.59 €

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?