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.99 €
phone Kontakt phoneWie einkaufen

Formal Methods for Industrial Critical Systems

15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods for Industrial Critical Systems Stefan Kowalewski
Libristo-Code: 01656673
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2010
This book constitutes the proceedings of the 15th International Workshop on§Formal Methods for Indus... Vollständige Beschreibung
? points 145 b
59.39 € inkl. MwSt.
50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

più belle storie di paura e mistero Stefania Leonardi Hartley / Buch Hardcover
common.buy 17.79 €
Guia de la bolsa para principiantes. Como invertir en el Reino Unido Robert Ward / E-Book Adobe ePub DRM
common.buy 3.19 €
Meereszeichen Susanne Seemann / Buch Hardcover
common.buy 14.90 €
Discussione sulla razza. Come sciogliere i nodi su storia, culture e razzismi Margaret Mead / Buch Broschur
common.buy 31.09 €
Maine de Biran, 1766-1824. Essai de biographie historique et psychologique Jean-Amable La Valette-Monbrun / Buch Broschur
common.buy 43.59 €
L'interazione tra fisica della relativit? e spiritualit? umana Vishal Panse / Buch Broschur
common.buy 74.39 €
Passato, presente e futuro degli impianti dentali Sahil Narula / Buch Broschur
common.buy 52.19 €
CD MP3 Rozważna czy romantyczna? Anna Karpińska / Hörbuch Hörbuch
common.buy 7.99 €
El camí obert per Jesús. Mateu Pagola Elorza / Buch Broschur
common.buy 17.59 €
El Español de América: Morfosintaxis Histórica y Variación Fernández Martín / Buch Broschur
common.buy 43.39 €
Walker Evans dans le temps et dans l'histoire Jean-François Chevrier / Buch Hardcover
common.buy 31.89 €
Polyglot Munshi: Or Vocabulary, Exercises, Pleasant Stories, Etc. Etc. Etc. (1841) Mu'nshi Debi'persa'd Ra'e / Buch Broschur
common.buy 26.89 €
Berliner Platz NEU Christiane Lemcke / Buch Broschur
common.buy 17.89 €
Frauen in der Punkrockszene Isabelle Linda Riedlinger / Buch Broschur
common.buy 29.50 €
Mit neuen Medien neue Wege in der Bildungswissenschaft beschreiten. E-Learning im Web 2.0 Ilka-Maria Watermann / Buch Broschur
common.buy 27.95 €
Cuidados auxiliares de enfermería en el área hospitalaria : quirófano y urgencias ICB / Buch Broschur
common.buy 25.09 €
Administrativos de la Junta de Andalucia. Promocion Interna. Test y examenes RISCOS GOMEZ / Buch Broschur
common.buy 34.19 €
Koordination im Supply Chain Management Marcus Groll / Buch Broschur
common.buy 60.29 €
BASICS kolleg, Entwurfszeichnen Karl-Michael Haake / Buch Blatt
common.buy 14.90 €

This book constitutes the proceedings of the 15th International Workshop on§Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp,§Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM§International Conference on Automated Software Engineering,§The 14 papers presented were carefully reviewed and selected from 33§submissions.§The aim of the FMICS workshop series is to provide a forum for researchers§who are interested in the development and application of formal methods in§industry. It also strives to promote research and development for the§improvement of formal methods and tools for industrial applications.

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 Stefan Kowalewski, Marco Roveri
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2010
Anzahl der Seiten 231
EAN 9783642158971
ISBN 3642158978
Libristo-Code 01656673
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 424
Abmessungen 156 x 238 x 24

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
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 > Systemanalyse und -design
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation
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

Eric and Friends Activity Book Tagore Ramoutar / Buch Broschur
common.buy 8.89 €
Biogas Science and Technology Georg M. Guebitz / Buch Hardcover
common.buy 160.89 €
Ordnance Survey and Modern Irish Literature Coilin Parsons / Buch Hardcover
common.buy 178.49 €
Miscellaneous Works of Edward Gibbon, Esq Edward Gibbon / Buch Hardcover
common.buy 41.59 €
A Precious Fountain: Music in the Worship of an African American Catholic Community Mary E. McGann / Buch Broschur
common.buy 28.19 €
Historic Photos of Salt Lake City Jeff Burbank / Buch Hardcover
common.buy 33.49 €
How to Read the Constitution and the Declaration of Independence Paul B. Skousen / Buch Hardcover
common.buy 26.29 €
Summers and Winters at Balmawhapple; A Second Series of the Table-Talk of Shirley [Pseud.] Volume 1 John Skelton / Buch Hardcover
common.buy 34.79 €
American Historical Tales for Youth Francis Lister Hawks / Buch Hardcover
common.buy 40.69 €
Shaky Phase JESSIE JANESHEK / Buch Broschur
common.buy 12.89 €
Hope Street Mike Mitchell / Buch Broschur
common.buy 12.29 €
At The Gates Of The Sanctuary: The Postulant And The Novice Dom Rupert Presinger O S B / Buch Broschur
common.buy 20.09 €
Bayou Teche National Wildlife Refuge Comprehensive Conservation Plan U S Departme Fish and Wildlife Service / Buch Broschur
common.buy 19.19 €
Space Between Michael Bracewell / Buch Broschur
common.buy 28.19 €
Life of Viscount Bolingbroke Arthur Hassall / Buch Hardcover
common.buy 44.59 €
Lawless Love Rosanne Bittner / Buch Broschur
common.buy 17.99 €
Devil's Advocate Donald Freed / Buch Broschur
common.buy 17.09 €
Hands-On Serverless Applications with Go Mohamed Labouardy / Buch Broschur
common.buy 51.39 €
Dissonance or Harmony: My personal odyssey to inner peace and beyond PERSPECTIVES ABOUT LOGIC, EMOTIONS, MUSIC AND SELF-DISCOVERY Gamze Hakli Geray / Buch Broschur
common.buy 15.39 €
Durnford 1879 from Isandlwana to Chatham Kristine Herron / Buch Broschur
common.buy 22.39 €
Butterfly Trap Tl Fisher / Buch Broschur
common.buy 15.39 €
The Life of the Ancient Greeks,: With Special Reference to Athens Charles Burton 1868-1962 Gulick / Buch Broschur
common.buy 25.89 €
Next Generation Spin Torque Memories Brajesh Kumar Kaushik / E-Book Adobe ePub DRM
common.buy 70.29 €
Top
Little Guides to Style Collection Emma Baxter-Wright / Buch Hardcover
common.buy 105.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?