[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Formal Program Development

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Program Development Bernhard Möller
Libristo-Code: 05274365
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 1993
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve... Vollständige Beschreibung
? points 161 b
64.16 € 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

Little Polar Bear Hans DeBeer / Broschur
common.buy 7.15 €
State Counsellor Boris Akunin / Broschur
common.buy 11.69 €
Akutní stavy na interním oddělení Jan Piťha / Broschur
common.buy 12.20 €
Medieval Cruelty Daniel Baraz / Hardcover
common.buy 90.60 €
Degas Notebook Degas / Broschur
common.buy 5.03 €
Un faux pas dans la nuit Lhoste / Broschur
common.buy 24.21 €
Great War of the Dark Age Dominique Wohlschlag / Broschur
common.buy 12.10 €
Living with Nietzsche Robert C. Solomon / Broschur
common.buy 55.89 €
Shirley Charlotte Brontë / Broschur
common.buy 21.38 €
Future of the Euro Matthias Matthijs / Hardcover
common.buy 184.43 €
American Journalism after 'The Age of Mechanical Reproduction' Bjoern Schubert / Broschur
common.buy 60.43 €
Lehrbuch u. 1 MP3-CD / Hardcover
common.buy 95.85 €
Romans John F MacArthur / Broschur
common.buy 12.80 €
literary comparison of Edgar Allan Poes The Black Cat and The Tell-Tale Heart Selina Schuster / Broschur
common.buy 38.23 €
Icarus' Second Chance Jacques Arnould / Broschur
common.buy 126.51 €
Leo Graf von Caprivi. Bismarcks Kampf gegen Caprivi Julius von Eckardt / Hardcover
common.buy 49.94 €

This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme of the group's work. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculation of programs from such specifications.

Informationen zum Buch

Vollständiger Name Formal Program Development
Autor Bernhard Möller, Helmut Partsch, Steve Schuman
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1993
Anzahl der Seiten 375
EAN 9783540574996
ISBN 3540574999
Libristo-Code 05274365
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1210
Abmessungen 155 x 233 x 21

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker
Mathematik und Naturwissenschaften > Mathematik > Kombinatorik und Graphentheorie
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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