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

Formal Methods for Quantitative Aspects of Programming Languages

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods for Quantitative Aspects of Programming Languages Alessandro Aldini
Libristo-Code: 01656039
Verlag Springer, Berlin, November 2009
This book presents a set of 4 papers accompanying the lectures of§leading researchers given at the 1... Vollständige Beschreibung
? points 163 b
65.17 € inkl. MwSt.
Externes Lager Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

TOP
MYP Mathematics 4&5 Standard Print and Enhanced Online Course Book Pack Rose Harrison / Broschur
common.buy 67.79 €
TOP
The Saturday Night Ghost Club Craig Davidson / Broschur
common.buy 14.82 €
TOP
Hypnotherapy Dave Elman / Broschur
common.buy 72.13 €
TOP
Fireman Sam: Rescue Heroes! A Lift-and-Look Flap Book Egmont Publishing UK / Leporello
common.buy 8.26 €
TOP
Breaking Free of Child Anxiety and OCD Eli R. Lebowitz / Broschur
common.buy 17.14 €
TOP
Spellcasting Oracle Cards Barbara Meiklejohn-Free / Karten
common.buy 20.17 €
AUSVERKAUF
Vampirella 50th Anniversary Artbook None / Hardcover
common.buy 27.53 €
Amari and the Night Brothers B. B. Alston / Broschur
common.buy 8.97 €
Poet Anderson ...in Darkness DeLonge Tom / Hardcover
common.buy 16.03 €
DEMNÄCHST
Murder In The Front Row Brian Lew / Hardcover
common.buy 45.70 €
Street of Crocodiles and Other Stories, the Bruno Schulz / Broschur
common.buy 15.73 €
France John Julius Norwich / Broschur
common.buy 15.12 €
The Motley Fool Investment Guide: How the Fools Beat Wall Street's Wise Men and How You Can Too Tom Gardner / Broschur
common.buy 18.86 €
Imray Chart M8 Imray / Karte
common.buy 30.36 €
New York State Penal Code 2017 John Snape / Broschur
common.buy 40.25 €
Contest Schumacher / Hardcover
common.buy 34.80 €

This book presents a set of 4 papers accompanying the lectures of§leading researchers given at the 10th edition of the International§School on Formal Methods for the Design of Computer, Communication and§Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010.§SFM 2010 was devoted to formal methods for quantitative aspects of§programming languages and covered several topics including probabilistic§and timed models, model checking, static analysis, quantum computing,§real-time and embedded systems, and security.

Informationen zum Buch

Vollständiger Name Formal Methods for Quantitative Aspects of Programming Languages
Autor Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2010
Anzahl der Seiten 169
EAN 9783642136771
ISBN 364213677X
Libristo-Code 01656039
Verlag Springer, Berlin
Gewicht 277
Abmessungen 155 x 234 x 10

Kategorie

Medizin > Klinische und Innere Medizin > Krankheiten und Störungen > Immunologie
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 > 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