Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 01562823
Price: 51.27 EUR
Availability: InStock
Author: Warren A. Hunt
ISBN: 9783540405245

15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

Warren A. Hunt

Fabio Somenzi

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01562823

Nakladnici Springer, Berlin, studeni 2002

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

Libristo kod: 01562823

125 b

51.27 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

fonti scritte e la Sardegna tardoantica Stefano Sulas

Meki uvez

40.92 €

TRÖTSCH - Soundbuch Mein großes Soundbuch Welt der Tiere Trötsch Verlag GmbH & Co.KG

Leporelo

17.89 €

Materiales de capa fina para aplicaciones fotovoltaicas Djalel Dib

Meki uvez

48.66 €

Trabajadores sociales del servicio vasco de salud-osakidetza. Temario Editorial Mad

binding.

56.20 €

L'inconscient, son espace-temps Jean-Gérard Bursztein

Meki uvez

32.47 €

Ein Szenarienadaptiver Bewegungsalgorithmus Fur Die Langsbewegung Eines Vollbeweglichen Fahrsimulators Tobias Miunske

Meki uvez

62.23 €

Digital-Art BERLIN Brandenburger Tor (Puzzle) Melanie Viola

Igra

32.07 €

La Devolution Successorale Des Droits d'Auteur Delphine Martin

Meki uvez

66.26 €

This book constitutes the refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.§The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.