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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564506
Price: 101.79 EUR
Availability: InStock
Author: Ed Brinksma
ISBN: 9783540439974

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Ed Brinksma

Kim G. Larsen

Sprache

Englisch

Buch Broschur

Libristo-Code: 01564506

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2002

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... Vollständige Beschreibung

Libristo-Code: 01564506

249 b

101.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Model dydaktyczny dotycz¿cy kszta¿cenia zawodowego w dziedzinie po¿o¿nictwa Carmen Hild-Schober

Broschur

54.49 €

Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft Reina Valera 1909

Broschur

30.39 €

Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin

Broschur

38.99 €

20.000 leguas de viaje submarino Jules Verne

Hardcover

15.69 €

Magdeburger Drogenmarkt Sven Paschke

Broschur

38.00 €

I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton

Spiel

45.00 €

L'orchestre des animaux joue Vivaldi - dès 3 ans Sam Taplin

Buch

18.69 €

Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS

Broschur

30.59 €

Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins

Broschur

7.99 €

O Livro de Metatron - O Anjo da Presença Max Stone

Broschur

13.19 €

¡De vacaciones! PETER KNORR

Broschur

16.69 €

Pán prstenů Návrat krále John Ronald Reuel Tolkien

Hardcover

28.09 €

Gipfel der Götter. Bd.1 Jiro Taniguchi

Broschur

18.95 €

Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi

Broschur

69.49 €

Tiere und ihr Zuhause Claudia Boldt

Spiel

15.90 €

Čeho bychom se měli obávat? John Brockman

Broschur

10.89 €

Science Fiction Stories Jürgen Schnaible

Broschur

39.80 €

Pomsta za neveru Inéz Melichová

Hardcover

9.19 €

Lean Management Andreas Kammel

Broschur

44.99 €

Hayaller Gemisi Koray Avci cakman

Broschur

7.59 €

Anna und die mongolische Prinzessin: Quentin Akademie der magischen Künste und Wissenschaften, Buch 3 Brigitte Novalis

Broschur

14.49 €

Abenteuer des schwarzen Gerard 2 Karl May

Hardcover

29.90 €

Stein Unter Steinen: Schauspiel in 4 Akten Hermann Sudermann

Broschur

19.99 €

Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun

Hardcover

24.90 €

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

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 Computer Aided Verification

Autor Ed Brinksma, Kim G. Larsen

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2002

Anzahl der Seiten 362

EAN 9783540439974

ISBN 3540439978

Libristo-Code 01564506

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 2010

Abmessungen 155 x 233 x 36

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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