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

Integrated Formal Methods

Sprache EnglischEnglisch
Buch Broschur
Buch Integrated Formal Methods Dominique Méry
Libristo-Code: 01656785
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... 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

DEMNÄCHST
Stealing Fire Steven Kotler / Hardcover
common.buy 24.91 €
Trénink obou polovin mozku Allen D. Bragdon / Broschur
common.buy 6.75 €
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Broschur
common.buy 10.38 €
Schumann-Handbuch Ulrich Tadday / Hardcover
common.buy 25.17 €
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Video
common.buy 6.85 €
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Broschur
common.buy 22.99 €
Coffee Table Conversations Tina Divina / Broschur
common.buy 22.59 €
Die Strafgewalt der Kirche. Wilhelm Rees / Broschur
common.buy 100.80 €
Jakobsweg ist uberall Olaf Behrens / Broschur
common.buy 16.55 €
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Broschur
common.buy 45.39 €
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Broschur
common.buy 20.08 €
Multivariate Statistical Analysis V.I. Serdobolskii / Broschur
common.buy 126.51 €
Knight of the White Cross George Alfred Henty / Broschur
common.buy 37.93 €
Miscellanies Upon Various Subjects John Aubrey / Broschur
common.buy 31.87 €
Oberwallis Roland Nanzer / Hardcover
common.buy 38.34 €
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Broschur
common.buy 18.11 €

This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.

Informationen zum Buch

Vollständiger Name Integrated Formal Methods
Autor Dominique Méry, Stephan Merz
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2010
Anzahl der Seiten 337
EAN 9783642162640
ISBN 3642162649
Libristo-Code 01656785
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 528
Abmessungen 155 x 235 x 19

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