[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

On the Refinement Calculus

Sprache EnglischEnglisch
Buch Broschur
Buch On the Refinement Calculus Carroll Morgan
Libristo-Code: 05273677
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 1994
On the Refinement Calculus gives one view of the development of the refinement calculus and its atte... Vollständige Beschreibung
? points 177 b
70.52 € 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

Günter Grass 'Die Blechtrommel' Günter Grass / Broschur
common.buy 8.98 €
Fendt-Traktoren im Wirtschaftswunder, 5 DVDs / DVD
common.buy 60.49 €
Traditionelle Chinesische Medizin Paul U. Unschuld / Broschur
common.buy 9.03 €
Hindi Structures Intermediate Level, with Drills, Exercises, and Key Peter Edwin Hook / Broschur
common.buy 34.70 €
Scorsese: Meine italienische Reise, DVD Martin Scorsese / DVD
common.buy 17.14 €
More Progresses In Analysis - Proceedings Of The 5th International Isaac Congress H. Begehr / Hardcover
common.buy 684.38 €
Making Sense of the Bible Adam Hamilton / Broschur
common.buy 15.23 €
Das Liederbuch 2004-2010 Silbermond / Broschur
common.buy 25.17 €
Abissinia Giornale di un viaggio Giuseppe Vigoni / Broschur
common.buy 18.06 €
Category Theory and Computer Science Peter Johnstone / Broschur
common.buy 70.52 €
'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung Ellen Ziegler / Broschur
common.buy 18.11 €
William Shakespeare - Subject of the Crown? Manuela Sonntag / Broschur
common.buy 23.70 €
Modern Electroencephalographic Assessment Techniques Vangelis Sakkalis / Hardcover
common.buy 139.23 €
Euro, Inflation and Consumers' Perceptions Paolo Giovane / Broschur
common.buy 139.23 €
Multi-Agent System Engineering Magnus Boman / Broschur
common.buy 70.52 €
EAT HAPPY Anna Vocino / Hardcover
common.buy 38.23 €

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

Informationen zum Buch

Vollständiger Name On the Refinement Calculus
Autor Carroll Morgan, Trevor Vickers
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1994
Anzahl der Seiten 159
EAN 9783540199311
ISBN 3540199314
Libristo-Code 05273677
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 280
Abmessungen 155 x 235 x 15

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Analysis, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Theoretische Informatik
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