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

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 05274597
Price: 53.79 EUR
Availability: InStock
Author: Rajeev Alur
ISBN: 9783540614746

8th International Conference, CAV '96, New Brunswick, NJ, July 31 - August 3, 1996, Proceedings

Rajeev Alur

Thomas Henzinger

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274597

Verlag Springer, Berlin, November 1998

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

Libristo-Code: 05274597

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

L'Idee de Dieu Dans La Morale: These Presentee A La Faculte Des Lettres de Paris Pasty-P

Broschur

26.79 €

Twoja domowa obrona cywilna. Jak mądrze zabezpieczyć i przygotować swój dom i rodzinę Paweł Frankowski

Broschur

10.29 €

Aux origines d'Arsène Lupin - Ostrowski, rat d'hôtel à la Belle Époque Patrice Lajoye

Broschur

27.09 €

Finanční stráž v Novohradských horách Jan Ciglbauer

Hardcover

18.39 €

Choses Vues: Nouvelle Serie (Ed.1900) Victor Hugo

Broschur

25.49 €

Noční let Antoine de Saint-Exupery

Audio CD

3.79 €

Wechselwahler in der Bundesrepublik Deutschland. Analyse und Typenbildung Oliver Ruck

Broschur

17.96 €

Landung auf dem Mond und weitere Abenteuer Sándor Ferenczy

Audio CD

10.49 €

Les secrets de l'Ortie - Vol. 1 Bertrand

Broschur

20.49 €

Archetypy i nieswiadomosc zbiorowa Carl Gustav Jung

Broschur

20.79 €

Les Palestiniens face ? la conqu?te sioniste (1917-1948) Cohen

Broschur

35.29 €

Rechtschreibung - Aufbauwissen, 12 farbige A3-Poster Christian Stang

Plakat

19.99 €

Sobre la salvación del alma Bernard Lievegoed

Broschur

14.49 €

ist Deutschland! Karin Hartewig

Broschur

7.99 €

Huhner-Malbuch 3 & 4 Nick Snels

Broschur

17.59 €

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.

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 Rajeev Alur, Thomas Henzinger

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1999

Anzahl der Seiten 479

EAN 9783540614746

ISBN 3540614745

Libristo-Code 05274597

Verlag Springer, Berlin

Gewicht 630

Abmessungen 156 x 234 x 25

Kategorie

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

EDV und Informationstechnologie > Computerhardware

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

Keto Meal Prep Mark Evans

Hardcover

26.49 €

Indiana's Ohio River Scenic Byway Leslie Townsend

Broschur

21.09 €

Walk in My Boots - The Joy of Connecting Bonnie Ross-Parker

Broschur

16.40 €

Essential Trotsky Leon Trotsky

Broschur

77.49 €

Philip Larkin and His Audiences G Steinberg

Broschur

55.49 €

Guide to the American Revolutionary War in Canada and New England Desmarais Norman

Broschur

22.49 €

Milk Run Design: Definitions, Concepts and Solution Approaches Anne Meyer

Broschur

34.59 €

Evolutionary Biology: Self/Nonself Evolution, Species and Complex Traits Evolution, Methods and Concepts Pierre Pontarotti

Hardcover

160.79 €

Beyond the Garden Gate Marietta Loehrlein

Broschur

13.90 €

Inflation Targeting and Financial Stability Michael Heise

Hardcover

51.89 €

Counting Pumpkins 1 to 20. Bilingual Spanish-English: Contando Calabazas 1 al 20. Bilingüe Espa?ol-Inglés Jp Lepeley

Broschur

11.39 €

Bread and Ale for the Brethren Philip Slavin

Broschur

41.59 €

How to Day Trade Penny Stocks for Beginners Gibbs Timothy

Broschur

12.29 €

Master Mindfulness: Thi book includes: BRAIN TRAINING: Improving your Cognitive Functions; COGNITIVE BEHAVIORAL THERAPY: Fight Panic and N Stephen Habits

Broschur

17.30 €

Alphabet Handwriting practice workbook for kids preschool ages 3-6: Tracing lettres of the alphabet, Preschool writing workbook, practice for preschoo Ama Books Books

Broschur

6.09 €