phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Computer Aided Verification

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification David L. Dill
Libristo kod: 05274394
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Cijeli opis
? points 154 b
61.28 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Scarred for Life Kerry Wilkinson / Meki uvez
common.buy 38.13 €
Utter Antiquity Arthur B. Ferguson / Tvrdi uvez
common.buy 62.69 €
Werner Herzog, 3 DVDs Werner Herzog / DVD
common.buy 19.11 €
Authority and Markets Susan Strange / Meki uvez
common.buy 61.28 €
On Opened Ground Mark-Anthony Turnage / Note
common.buy 48.40 €
Sultan und Kotzbrocken in einer Welt ohne Kissen, 1 Audio-CD Claudia Schreiber / Audio CD
common.buy 10.96 €
Unpublished Opinions of the Burger Court Bernard Schwartz / Tvrdi uvez
common.buy 208.81 €
Uqalurait John R. Bennett / Meki uvez
common.buy 53.93 €
Benzofurans A. Mustafa / Tvrdi uvez
common.buy 617.90 €
Reference Books for Children Carolyn Sue Peterson / Tvrdi uvez
common.buy 150.54 €

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

Informacije o knjizi

Puni naziv Computer Aided Verification
Autor David L. Dill
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1994
Broj stranica 486
EAN 9783540581796
ISBN 3540581790
Libristo kod 05274394
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1520
Dimenzije 155 x 235 x 26

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun