Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

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 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 05274322
Price: 53.79 EUR
Availability: InStock
Author: Costas Courcoubetis
ISBN: 9783540569220

5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

Costas Courcoubetis

Sprache

Englisch

Buch Broschur

Libristo-Code: 05274322

Verlag Springer, Berlin, November 1992

This volume contains the proceedings of the Fifth Conference§on Computer-Aided Verfication, held in... Vollständige Beschreibung

Libristo-Code: 05274322

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

LiteraNova - Unterrichtsmodelle mit Kopiervorlagen Thomas Brussig

Broschur

22.99 €

Powerless - Chestnut Springs - Tome 3 Elsie Silver

Broschur

12.19 €

Ejercicios espirituales para peregrinos de esperanza DAVID CABRERA

Broschur

20.39 €

Programmieren lehren heißt Denken lehren Poliana Moderno

Broschur

39.90 €

Ausdruck der AEquivalenzformen in einem Hauff-Marchen Markovicsné Gál Adrienne

Broschur

51.99 €

CTG-Praxis Stephan Schmidt

Broschur

34.59 €

Klasická teoretická fyzika Igor Jex

Broschur

14.69 €

Brak tchu. Edycja kolekcjonerska George Orwell Buch

Hardcover

17.09 €

Analisi canonica della riserva della Confermazione Emanuele Lanza

Broschur

25.29 €

Španělská občanská válka 1936-1939 Buch

Broschur

6.29 €

heldenhafte Lubecker Sheltie-Boygroup Gerhard Jeschull

Broschur

20.99 €

Sketchnotes - Sketchnotes als Lerntechnik Jutta Korth

Broschur

22.69 €

Lebensspuren Michael Eisner

Broschur

24.90 €

Alice in Borderland 03 ASO HARO

Broschur

23.19 €

4 Classic Albums B. B. King

Audio CD

11.99 €

Guide du pisteur débutant Vincent Albouy

Broschur

17.89 €

Le mythe Haussmann Pinon

Broschur

21.29 €

Approche psychomotrice de la personne obèse GAUMET

Broschur

29.49 €

Œuvres complètes Lautréamont

Hardcover

65.39 €

Sifali Salavatlar

Broschur

10.59 €

Poď sa so mnou hrať Nadine Reitzová Sophie

Buch

7.79 €

Wiki-Technologie als Instrument des kollaborativen Wissensmanagements Kristina Sommer

Broschur

9.99 €

Schatten über Marrakesch Jens Plassmann

Broschur

14.99 €

Omega 3 Fettsäuren und wie sie wirken Christopher Schutze

Broschur

20.09 €

This volume contains the proceedings of the Fifth Conference§on Computer-Aided Verfication, held in Crete, Greece, in§June/July 1993.§The objective of the CAV conferences is to bring together§researchers and practitioners interested in the development§anduse of methods, tools, and theories for the§computer-aided verification of concurrent systems. The§conferences provide an opportunity for comparing various§verfication methods and tools that can be used to assist the§applications designer. Emphasis is placed on new research§results and the application of existing methods to real§verification problems.§The volume contains abstracts of three invited lectures and§full versions of 37 contributed papers selected from 84§submissions.The contributions are grouped into sections on§hardware verification with BDDs, methods and tools, theorem§proving, analysis of real-time systems, process algebras and§calculi, partial orders, and exploiting symmetry.

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

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1993

Anzahl der Seiten 510

EAN 9783540569220

ISBN 3540569227

Libristo-Code 05274322

Verlag Springer, Berlin

Gewicht 726

Abmessungen 155 x 235 x 26

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

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

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