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
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Formal Methods for Industrial Critical Systems

20th International Conference, FMICS 2015, Oslo, Norway, June 22-23, 2015, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods for Industrial Critical Systems Manuel Nunez
Libristo-Code: 09285181
Verlag Springer International Publishing AG, Mai 2015
This book constitutes the proceedings of the 20th International Conference on Formal Methods for Ind... Vollständige Beschreibung
? points 127 b
51.69 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Jeppe-pappa ja onnen muruset / Buch Hardcover
common.buy 19.49 €
Una melancolía optimista LUIS GARCIA MONTERO / Audio Audio CD
common.buy 27.29 €
P'TIT JUJU À L'HÔPITAL POCHE LOUPY / Buch Broschur
common.buy 9.29 €
Skitourenführer Salzburger Land - Band 2 Kühberger Rudolf / Buch Broschur
common.buy 36.89 €
Die Kindermörderin Heinrich Leopold Wagner / Buch Broschur
common.buy 14.90 €
Сочинения для хора без сопровождения. Текст на русском языке с транслитерацией. Сост. Б. Тевлин Родион Щедрин / Drucksachen Noten
common.buy 13.79 €
CONCERTO D MAJOR REINHARD KEISER Drucksachen Noten
common.buy 21.69 €
KATEDRALA CARVER / Buch Buch
common.buy 21.49 €
Demnächst
Généalogies et nature du transhumanisme - Etat actuel du débat Damour / Buch Broschur
common.buy 28.39 €
Mini Timmy - Vivint un somni TIM CAHILL / Buch Hardcover
common.buy 10.49 €
Top
Velkolepý plán Tyrani a králové John Marco / Buch Broschur
common.buy 8.89 €
Komu straší ve věži Marie Rejfová / Buch Hardcover
common.buy 12.19 €
EDUCACION VIRTUDES HUMANAS Y SU EVOLUCION 15¦ED DAVID ISAACS / Buch Broschur
common.buy 22.79 €
La guerra de la limonada/ The Lemonade War Jacqueline Davies / Buch Broschur
common.buy 8.89 €
Der kleine Nick und die Nachbarn René Goscinny / Buch Broschur
common.buy 10.29 €

This book constitutes the proceedings of the 20th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

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 Formal Methods for Industrial Critical Systems
Autor Manuel Nunez, Matthias Güdemann
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 213
EAN 9783319194578
ISBN 3319194577
Libristo-Code 09285181
Verlag Springer International Publishing AG
Gewicht 3577
Abmessungen 155 x 235 x 12

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
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
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

The Town of N Leonid Dobychin / Buch Broschur
common.buy 20.09 €
Storyteller's Handbook Elise Hurst / Buch Hardcover
common.buy 20.39 €
Web Scale Discovery Services Jason Vaughan / E-Book Adobe ePub DRM
common.buy 60.09 €
Hearts That Cut Kika Hatzopoulou / Buch Broschur
common.buy 9.19 €
Ventures Basic Class Audio CDs Gretchen Bitterlin / Audio Audio CD
common.buy 73.69 €
33 Minutes Todd Hasak-Lowy / Buch Broschur
common.buy 9.09 €
101 Things to do on a Rainy Day Dawn Isaac / E-Book Adobe ePub DRM
common.buy 4.49 €
Stiff Mary Roach / Buch Hardcover
common.buy 24.29 €
Arrested by the Holy Ghost Dr Michael D Perry / Buch Broschur
common.buy 25.49 €
Reflector ... a Poem. by a Traveller. [chiefly a Satire on the Dean of Ripon.] Anonymous / Buch Broschur
common.buy 14.89 €
Demnächst
America Arthur B. Shostak / Buch Hardcover
common.buy 41.19 €
Shambhala Guide to Traditional Chinese Medicine Daniel Reid / Buch Broschur
common.buy 22.09 €
Long Way Home Audrey Howard / Buch Broschur
common.buy 8.69 €
Story of a Loaf of Bread Thomas Barlow Wood / E-Book Adobe ePub DRM
common.buy 24.29 €

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?