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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch FM 2015: Formal Methods Nikolaj Bj?rner
Libristo-Code: 09277583
Verlag Springer International Publishing AG, Mai 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Happy House 3rd Edition 1 Class Audio CDs Stella Maidment / Audio Audio CD
common.buy 31.49 €
Schnelle thermische Prozessierung von Cu(In, Ga)Se2-Schichten Christian Merk / Buch Broschur
common.buy 51.99 €
JACK LONDON KOZA / Buch Hardcover
common.buy 24.59 €
Die Ritter Vom Geiste, Volumes 1-2 Karl Gutzkow / Buch Broschur
common.buy 32.79 €
Programmierkurs TURBO-PASCAL Version 7.0 Henning Mittelbach / Buch Broschur
common.buy 54.99 €
Italie - 50 itinéraires de rêve collegium / Buch Broschur
common.buy 35.59 €
1972 Dr Gustav Keller / Buch Broschur
common.buy 8.09 €
Elf Freunde müßt ihr sein . . . Sammy Drechsel / Buch Hardcover
common.buy 15.00 €
Die drei ??? und der schreiende Zug Andreas Ruch / Buch Hardcover
common.buy 16.00 €
Aquí yace la amargura Cynthia Fleury / E-Book Adobe ePub DRM
common.buy 6.79 €
Čti a hraj si s námi Ledové království / Buch Leporello
common.buy 18.99 €

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

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 FM 2015: Formal Methods
Autor Nikolaj Bj?rner, Frank de Boer
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 610
EAN 9783319192482
ISBN 3319192485
Libristo-Code 09277583
Verlag Springer International Publishing AG
Gewicht 9358
Abmessungen 155 x 235 x 235

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur
EDV und Informationstechnologie > Computerhardware > Wartung und Reparaturen, IT
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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

KombiFiD - Combined Firm Data for Germany. Joachim Wagner / Buch Broschur
common.buy 60.99 €
Seven Deadly Sins of White Christian Nationalism Carter Heyward / Buch Broschur
common.buy 30.79 €
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts Oliver Schlaudt / Buch Hardcover
common.buy 150.19 €
Mind Diet for Beginners: 85 Recipes and a 7-Day Kickstart Plan to Boost Your Brain Health Kelli McGrane / Buch Broschur
common.buy 14.99 €
Once Upon A Rhyme Julie Murrow / Buch Broschur
common.buy 5.99 €
Federal Civil Penalties Inflation Adjustment Act Catch-Up Adjustments (US Occupational Safety and Health Administration Regulation) (OSHA) (2018 Editi The Law Library / Buch Broschur
common.buy 19.99 €
Philosophy of Law Kant Immanuel Kant / Buch Broschur
common.buy 24.29 €
Falstaff: Give Me Lifevolume 1 Harold Bloom / Buch Broschur
common.buy 13.49 €
Thomas Merton and the Inclusive Imagination Ross Labrie / Buch Hardcover
common.buy 55.19 €
The 22-Day Revolution Marco Borges / Buch Hardcover
common.buy 26.29 €
To See My World In Rhythm And Rhyme Thomas Wayne Allen / Buch Broschur
common.buy 18.89 €
Technology in Retrospect Michael J. Berson / Buch Broschur
common.buy 64.09 €
Fallows Aaron Ross / Buch Hardcover
common.buy 29.19 €
Pip and Posy: The Bedtime Frog Axel Scheffler / Buch Hardcover
common.buy 12.09 €
Total Heart Health Robert Schneider / Buch Broschur
common.buy 15.79 €
Manners of Interpretation Miguel Tamen / Buch Broschur
common.buy 40.69 €
Hegel Reader Stephen Houlgate / Buch Hardcover
common.buy 167.49 €
Writer's Roadmap Wendell Wellman / Buch Broschur
common.buy 14.99 €
Happily Ever After Annette Morris / Buch Broschur
common.buy 12.69 €
Silent Scream Sandra A Jones / Buch Broschur
common.buy 21.99 €
Little Joseph H Easley / Buch Hardcover
common.buy 25.09 €

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?