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

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 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer, Berlin
SKU: 01563390
Price: 102.35 EUR
Availability: InStock
Author: Tiziana Margaria
ISBN: 9783540418658

7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

Tiziana Margaria

Wang Yi

Sprache

Englisch

Buch Broschur

Libristo-Code: 01563390

Verlag Springer, Berlin, November 2000

This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algo... Vollständige Beschreibung

Libristo-Code: 01563390

249 b

102.35 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

CAPRICCIO FUGATO DOMENICO SCARLATTI Drucksachen

Noten

3.91 €

VW COMBI B/U MEX

Hardcover

37 120.54 €

Italská dcera Soraya M. Lane

Hardcover

13.77 €

Karl Marx: Ökonomische Manuskripte und Schriften, 1858-1861, 2 Teile Larissa Miskewitsch

Hardcover

148.01 €

Velké samolepky pro malé ruce Silné stroje Dawn Machell

Broschur

3.61 €

»Verteidigung der Rechtsordnung« (§§ 14, 23 StGB). Helene Weineck

Broschur

46.85 €

ONE PIECE 62 Antje Bockel

Broschur

7.23 €

Ciceros Rede über die konsularischen Provinzen Ulrich Brandt

Broschur

35.08 €

Emilia-Romagna - Toscana - Liguria. Da Bocca Trabaria al Colle di Cadibona Andrea Greci

Buch

30.26 €

Die Kraft der Acht Elisabeth Liebl

Broschur

11.75 €

Regeneratoren Rekuperatoren, Winderhitzer Werner Heiligenstaedt

Broschur

76.61 €

Vereinsrechtliche Besonderheiten bei politischen Parteien Tim Petter

Broschur

16.08 €

Je štátny prevrat, na víkend domov neprídem... Karol Lovaš

Hardcover

12.16 €

Gen Atem Gen Atem

Broschur

47.15 €

L'Homme qui revient de loin LeRoux Gaston

Broschur

9.84 €

Welcome to Oracle 12c Massimo Ruocchio

Broschur

37.90 €

Männer - Machos - Memmen Tobias Buchdrucker

Broschur

59.32 €

Fruhlings Erwachen Frank Wedekind

Broschur

4.82 €

Eugenio d'Ors : el arte y la vida Antonino González González

Broschur

26.94 €

Schreiben vor der Schrift Ingrid Barkow

Broschur

40.71 €

Marsz Radetzky'ego Joseph Roth

Hardcover

14.57 €

This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration.

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 Tools and Algorithms for the Construction and Analysis of Systems

Autor Tiziana Margaria, Wang Yi

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2001

Anzahl der Seiten 594

EAN 9783540418658

ISBN 3540418652

Libristo-Code 01563390

Verlag Springer, Berlin

Gewicht 844

Abmessungen 155 x 235 x 31

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

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

Digital Control Systems, 1 Rolf Isermann

Broschur

50.27 €

Petition or Complaint of New York Telephone Company in Respect to Increase in Rates, Charges, Tolls and Rentals to Be Charged by It for Telephone Serv John P O'Brien

Broschur

26.54 €