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 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

Formal Modeling and Analysis of Timed Systems

6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Modeling and Analysis of Timed Systems Franck Cassez
Libristo-Code: 01570548
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2008
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modelin... Vollständige Beschreibung
? points 125 b
51.47 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

LO QUE CUENTO NO LO INVENTO JAVIER / Buch Buch
common.buy 23.76 €
Благословение небожителей. Дунхуа. Полное коллекционное издание Тунсю Мосян / Buch Hardcover
common.buy 204.70 €
Top
Life Vision Pre-Intermediate A2/B1 Student's Book + e-book Jane Hudson / Buch Broschur
common.buy 35.15 €
Demnächst
ENCUENTROS CON ANGELES Y SERES HUMANOS EL MISTERIO DE LA ACCION WEINREB / Buch Buch
common.buy 27.09 €
SERVICIOS DE INTELIGENCIA EN LA ANTIGUEDAD Fernando (coordinador) Bermejo-Rubio / Buch Broschur
common.buy 27.39 €
Cartillas para Aprender a Leer Espa?ol Inglés Juegos Educativos. Libros Infantiles 2-8 a?os - Cuadros Coloridos: 200 primeras palabras flashcards espa Educacao Infantil / Buch Broschur
common.buy 13.69 €
Jeme zdravo v meste aj na vidieku autorov Kolektív / Buch Hardcover
common.buy 18.12 €
Lewis Hamilton : La biographie Frank Worrall / Buch Broschur
common.buy 29.00 €
EL COCODRILO QUE VINO A CENAR SMALLMAN / Buch Hardcover
common.buy 10.97 €
L'an I des révolutions arabes Sabbagh / Buch Buch
common.buy 24.27 €
Eléments essentiels Edward Burtynsky / Buch Broschur
common.buy 64.46 €
Beschreibung Der Islandischen Saga (1880) Richard Heinzel / Buch Broschur
common.buy 28.10 €
Cinco escritoras, cinco escrituras JAIME SILES / Buch Broschur
common.buy 21.65 €
"Frau Berlin" - Paula Thiede (1870-1919) Uwe Fuhrmann / Buch Broschur
common.buy 16.21 €
Bibliodrama som process Liselotte Geisler / Buch Broschur
common.buy 30.41 €
Gottesbegriff Kohelets Adrian Schmittel / Buch Broschur
common.buy 17.02 €

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.§The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.

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 Modeling and Analysis of Timed Systems
Autor Franck Cassez, Claude Jard
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2008
Anzahl der Seiten 295
EAN 9783540857778
ISBN 354085777X
Libristo-Code 01570548
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 480
Abmessungen 155 x 235 x 17

Kategorie

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 > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
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

Das könnte Sie auch interessieren

My Thirty Years Out of the Senate Jack Downing / Buch Broschur
common.buy 39.98 €
U.R.B. James Cox / Buch Broschur
common.buy 10.77 €
Wrangled Mess: Colson Brothers Series Book #4 Reese Madison / Buch Broschur
common.buy 10.77 €
King John William Shakespeare / Buch Broschur
common.buy 9.46 €
PowerShell Studio: A Comprehensive Guide Jeffery C Holder / Buch Broschur
common.buy 40.99 €
Address to the Inhabitants of New Brunswick, Nova-Scotia, in North America, Occasioned by the Mission of Two Ministers, John James, and Charles Willia JOHN BRADFORD / Buch Hardcover
common.buy 28.10 €
Top
How My Neighbour Stole Christmas Meghan Quinn / Buch Broschur
common.buy 9.06 €
Monkey Du - Siblings Richard Symes / Buch Broschur
common.buy 10.47 €
IQ + Eq + SQ = Psyq - The Integrally Emerging Intelligence Michael Noah Weiss / Buch Broschur
common.buy 24.97 €
Life Cycle Assessment of Energy Systems Nicholas Sakellariou / Buch Hardcover
common.buy 235.52 €
The History Of The Association Of Medical Superintendents Of American Institutions For The Insane John Curwen / Buch Broschur
common.buy 24.07 €
Top
Witch Hat Atelier Kitchen 4 Hiromi Sato / Buch Broschur
common.buy 11.88 €
Ten Acres Enough: A Farm for Free Edmund Morris / Buch Hardcover
common.buy 27.09 €
Peppa Pig: Peppa's Jigsaw Fun Peppa Pig / Buch Leporello
common.buy 15.71 €
Diary of a Surfer Villager, Book 29 Block / Buch Broschur
common.buy 8.35 €
Top
The Many Deaths of Laila Starr Ram V / Buch Broschur
common.buy 11.78 €
Brainwashed DANIEL PICK / Buch Broschur
common.buy 13.79 €
World War II Sea War, Volume 18 Don Kindell / Buch Broschur
common.buy 69.40 €
Cool Plastic Bottle and Milk Jug Science Tammy Enz / Buch Hardcover
common.buy 9.66 €
Funny Crossword Puzzles For Your Lazy Day Speedy Publishing LLC / Buch Broschur
common.buy 11.27 €
American Protestant Ethics and the Legacy of H. Richard Niebuhr William Werpehowski / Buch Broschur
common.buy 65.47 €
Princess, Priestess, Poet Betty De Shong Meador / Buch Broschur
common.buy 40.29 €
I Think I Took A Wrong Turning Somewhere! David Cope / Buch Broschur
common.buy 15.50 €
My Door Is Always Open Boka Hadzija / Buch Broschur
common.buy 20.24 €

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?