Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods for Quantitative Aspects of Programming Languages

Name: Formal Methods for Quantitative Aspects of Programming Languages
Brand: Springer, Berlin
SKU: 01656039
Price: 60.49 EUR
Availability: InStock
Author: Alessandro Aldini
ISBN: 9783642136771

10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01656039

148 b

60.49 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Varázslatos színek: Mása és a Medve

Hardcover

5.29 €

9 agosto 378. Il giorno dei barbari Alessandro Barbero

Broschur

31.09 €

Sörmentén Prága és környéke Vétek György

Hardcover

17.39 €

EL PROCEDIMIENTO ANTE EL TRIBUNAL DEL JURADO PEREZ DEL VALLE

Buch

71.29 €

Matemáticas 5

Buch

27.09 €

Bracelet Dizainier Porte Bonheur Taupe

binding.

5.99 €

HENRYK MIKOLAJ GORECKI: FOUR PRELUDES OP.1 PIANO GORECKI Buch

binding.

21.79 €

El crac energ?tic Riba Romeva

binding.

12.09 €

PIZTIAK - U PIZTIAK Buch

binding.

13.79 €

Tant que nous serons ensemble - tome 2 Yuki Akaneda

Broschur

12.39 €

Maximiliano Fernández

Broschur

19.09 €

Técnicas de reacondicionamiento y preentrega María del Rosario Zurita García

Broschur

19.89 €

Psychológia Marcela Verešová a kol.

Broschur

6.89 €

Masturbation Hermann Rohleder

Broschur

42.90 €

Lärmminderungsplanung Ulrich Blaschke

Broschur

109.99 €

Histoire Des Races Maudites de la France Et de l'Espagne. T. 2 (Ed.1847) Francisque Michel

Broschur

27.09 €

Recherches Sur l'Art de Parvenir (Ed.1868) Maurice Joly

Broschur

21.69 €

Theatre Menandre

Broschur

11.79 €

Kolej jablonowska Bogdan Pokropinski

Broschur

16.19 €

Sin City Damulka warta grzechu Tom 2 Frank Miller

Hardcover

14.99 €

Comparativo entre fundacao rasa do tipo sapata e radier Denis Vieira

Broschur

33.59 €

Para empezar a pintar al guache Mercedes Braunstein

Broschur

24.29 €

Licht Brockmann/Bargmann

Audio CD

23.89 €

Moje obľúbené zvieratká

Broschur

2.09 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

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 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