Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

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 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559563
Price: 120.75 EUR
Availability: InStock

Rajeev Alur

Doron A. Peled

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01559563

Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2004

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aide... Cijeli opis

Libristo kod: 01559563

304 b

120.75 €

Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Harry Potter Tvory a netvory Jody Revenson

/ Tvrdi uvez

28.57 €

Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen

/ Meki uvez

24.75 €

Action-Hausaufgaben Mathe 3./4. Klasse Sandra Sommer

/ Meki uvez

23.74 €

Embodying Health Identities A James

/ Meki uvez

72.55 €

She Inserts the Key Marianne Burton

/ Meki uvez

16.49 €

Multispectral Satellite Image Understanding Cem Ünsalan

/ Meki uvez

173.79 €

History of Science, History of Text Karine Chemla

/ Tvrdi uvez

272.41 €

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

Informacije o knjizi

Puni naziv Computer Aided Verification

Autor Rajeev Alur, Doron A. Peled

Jezik

Engleski

Uvez Knjiga - Meki uvez

Datum izdanja 2004

Broj stranica 536

EAN 9783540223429

ISBN 3540223428

Libristo kod 01559563

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

Težina 1700

Dimenzije 155 x 233 x 30

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

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 > Computer science > Artificial intelligence

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

Dostava

Savjetnik za kupnju