Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Aided Verification

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Aided Verification Alan J. Hu
Libristo kod: 05274836
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 1998
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided... Cijeli opis
? points 249 b
102.99 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Moderno diccionario del diablo MARCIUS SHAPIRO / Knjiga Tvrdi uvez
common.buy 16.68 €
Pripremamo
SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Knjiga Knjiga
common.buy 11.32 €
Lambacher Schweizer Mathematik 8. Ausgabe Thüringen / Knjiga List
common.buy 12.84 €
Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki / Knjiga Meki uvez
common.buy 13.55 €
Brest abri 668 GERARD Knjiga Meki uvez
common.buy 12.54 €
BTS De la musique avant toute chose ? - Culture générale et expression - Examens 2021 et 2022 Manresa Knjiga Meki uvez
common.buy 12.54 €
Messmer winterpunsch tee, 50g Igra/Igračka Igračka
common.buy 6.77 €
Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi / Knjiga Meki uvez
common.buy 49.87 €
Hermeneutiken Lutz Danneberg / Knjiga Tvrdi uvez
common.buy 188.59 €
Hase und Igel Axel Scheffler / Knjiga Meki uvez
common.buy 6.67 €
Bu Benim.Zip Asli Serin / Knjiga Meki uvez
common.buy 11.22 €
Familienunternehmen im Nachfolgeprozess Frank A. Halter / Knjiga Meki uvez
common.buy 55.33 €
Le Soldat Magicien: Opera-Comique En 1 Acte Louis Anseaume / Knjiga Meki uvez
common.buy 15.57 €
100 Abenteuerreisen Rudolf S Rehberg / Knjiga Meki uvez
common.buy 34.90 €
Strategien der Identitätssuche Iris Julia Gütler / Knjiga Meki uvez
common.buy 56.85 €
Hannebambel Roland Pecher / Igra/Igračka Igra
common.buy 8.49 €
neue E-Bilanz Judith Pohler / Knjiga Meki uvez
common.buy 22.45 €

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computer Aided Verification
Autor Alan J. Hu, Moshe Y. Vardi
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1998
Broj stranica 552
EAN 9783540646082
ISBN 3540646086
Libristo kod 05274836
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 720
Dimenzije 156 x 234 x 29

Kategorija

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

Moglo bi vas zanimati i

Selected Articles on Social Insurance. Multiple Contributors / Knjiga Meki uvez
common.buy 36.21 €
Study of the Effect of Incandescent Gas-Light on Plant Growth Lee C. Corbett / Knjiga Meki uvez
common.buy 11.73 €
Kept for Jesus Sam Storms / Knjiga Meki uvez
common.buy 18.91 €
Liberal Quicksand Yves Decock / Knjiga Meki uvez
common.buy 25.59 €
Fenway Park David Hickey / Knjiga Meki uvez
common.buy 19.62 €
The Founding Foodies Dave DeWitt / Knjiga Meki uvez
common.buy 20.93 €
Manhunt: The Pursuit of Harry Tracy Bill Gulick / Knjiga Meki uvez
common.buy 17.19 €
Long Challenge: The Empowerment Controversy (1967-1977) Victor H. Carpenter / Knjiga Meki uvez
common.buy 12.74 €
Principles of Marketing Philip T. Kotler / Knjiga Tvrdi uvez
common.buy 252.63 €
GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile / Knjiga Tvrdi uvez
common.buy 34.49 €
When the Clouds Fell from the Sky Robert Carmichael / E-knjiga Adobe ePub DRM
common.buy 4.24 €
Precedents in Conveyancing: A Collection of Forms of Assurances of Real and Personal Property Adapted to the Present State of the Law ... Volume 4 S Vallis Bone / Knjiga Meki uvez
common.buy 28.83 €
THE CHORDATES HERBERT W. 187 RAND / Knjiga Meki uvez
common.buy 36.41 €
Uncovered Ian Birch / Knjiga Tvrdi uvez
common.buy 50.68 €
Third Sector Meghan Kallman / Knjiga Meki uvez
common.buy 23.97 €
Orson Welles Chris Wade / Knjiga Meki uvez
common.buy 15.57 €
Decarbonising The World's Economy: Assessing The Feasibility Of Policies To Reduce Greenhouse Gas Emissions Douglas Crawford-Brown / Knjiga Tvrdi uvez
common.buy 141.64 €
Quantum Mechanics and the Philosophy of Alfred North Whitehead Michael Epperson / Knjiga Meki uvez
common.buy 40.66 €
Challenge of Democratic Representation in the European Union Sandra Kroger / Knjiga Tvrdi uvez
common.buy 55.84 €
Dark Object Don Ledger / Knjiga Meki uvez
common.buy 6.97 €
ENT MCQs for Medical Students Mannu Odutoye / Knjiga Meki uvez
common.buy 54.73 €
Arsenic in the Environment, Part 2 J. O. Nriagu / Knjiga Tvrdi uvez
common.buy 293.00 €
Companion to 19th-Century America Barney / Knjiga Meki uvez
common.buy 56.95 €
Vegan Family Meals Ann Gentry / Knjiga Tvrdi uvez
common.buy 22.86 €

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