[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

Semantics of Specification Languages (SoSL)

Sprache EnglischEnglisch
Buch Broschur
Buch Semantics of Specification Languages (SoSL) Derek J. Andrews
Libristo-Code: 02172588
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 1994
This volume is based on the proceedings of the International Workshop on Semantics of Specification... 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

Legendary Service: The Key is to Care Ken Blanchard / Hardcover
common.buy 24.21 €
Heaven's War Michael Gaydos / Broschur
common.buy 19.16 €
Recueil des cours, Collected Courses, Tome/Volume 3 (1924) cademie de Droit International de la Haye / Hardcover
common.buy 166.17 €
Studies in Tudor and Stuart Politics and Government: Volume 2, Parliament Political Thought G. R. Elton / Broschur
common.buy 52.86 €
Viewpoint Level 2 DVD Michael McCarthy / DVD
common.buy 220.45 €
Behaviour, Migrations, Distribution, and Stocks of Sturgeons in the Volga-Caspian Basin R.P. Khodorevskaya / Broschur
common.buy 40.95 €
Clean Coal Technology - Scholar's Choice Edition / Broschur
common.buy 23.60 €
Second Glot International State-of-the-Article Book Lisa Cheng / Hardcover
common.buy 155.78 €
Constitutional Protection and Regulation of Property and its Influence on the Reform of Private Law and Landownership in South Africa and Germany Hanri Mostert / Broschur
common.buy 114.21 €
Retail Banking Im Informationszeitalter Susanne Leist / Broschur
common.buy 65.57 €

This volume is based on the proceedings of the International Workshop on Semantics of Specification Languages (SoSL), held in Utrecht, the Netherlands, 25-27 October 1993. The aim of the workshop - the first in a proposed series - was to assess various attempts to formally define specification languages, and to identify a programme of work for further investigation. There are currently no other workshops or conferences covering this area. The papers provide a comprehensive overview of research into this important topic, with particular emphasis on recent developments in formal proof systems, proof checking, type consistency, static semantics, and stepwise developments of specifications. In addition to the submitted papers the volume includes three invited papers, each of which outlines the development of the semantics of a major specification language.

Informationen zum Buch

Vollständiger Name Semantics of Specification Languages (SoSL)
Autor Derek J. Andrews, Jan F. Groote, C.A. Middelburg
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1994
Anzahl der Seiten 357
EAN 9783540198543
ISBN 3540198547
Libristo-Code 02172588
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 630
Abmessungen 155 x 235 x 22

Kategorie

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 > 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