Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computer Aided Verification

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

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

Costas Courcoubetis

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274322

Nakladateľstvo Springer, Berlin, november 1992

This volume contains the proceedings of the Fifth Conference§on Computer-Aided Verfication, held in... Celý popis

Libristo kód: 05274322

125 b

51.75 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

LiteraNova - Unterrichtsmodelle mit Kopiervorlagen Thomas Brussig

Brožovaná

22.17 €

Powerless - Chestnut Springs - Tome 3 Elsie Silver

Brožovaná

11.74 €

Ejercicios espirituales para peregrinos de esperanza DAVID CABRERA

Brožovaná

19.54 €

Programmieren lehren heißt Denken lehren Poliana Moderno

Brožovaná

35.74 €

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

Brožovaná

50.02 €

CTG-Praxis Stephan Schmidt

Brožovaná

33.31 €

Klasická teoretická fyzika Igor Jex

Brožovaná

13.56 €

Brak tchu. Edycja kolekcjonerska George Orwell Kniha

Pevná

16.50 €

Analisi canonica della riserva della Confermazione Emanuele Lanza

Brožovaná

24.20 €

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

Brožovaná

5.56 €

heldenhafte Lubecker Sheltie-Boygroup Gerhard Jeschull

Brožovaná

18.93 €

Sketchnotes - Sketchnotes als Lerntechnik Jutta Korth

Brožovaná

19.64 €

Lebensspuren Michael Eisner

Brožovaná

22.37 €

Alice in Borderland 03 ASO HARO

Brožovaná

17.92 €

4 Classic Albums B. B. King

Audio CD

6.47 €

Guide du pisteur débutant Vincent Albouy

Brožovaná

17.31 €

Le mythe Haussmann Pinon

Brožovaná

20.65 €

Approche psychomotrice de la personne obèse GAUMET

Brožovaná

28.65 €

Œuvres complètes Lautréamont

Pevná

63.39 €

Sifali Salavatlar

Brožovaná

10.22 €

Poď sa so mnou hrať Nadine Reitzová Sophie

Kniha

6.27 €

Wiki-Technologie als Instrument des kollaborativen Wissensmanagements Kristina Sommer

Brožovaná

9.11 €

Schatten über Marrakesch Jens Plassmann

Brožovaná

13.56 €

Omega 3 Fettsäuren und wie sie wirken Christopher Schutze

Brožovaná

18.32 €

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.