Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Aided Verification

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Aided Verification Alan J. Hu
Koda Libristo: 05274836
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 1998
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided... Celoten opis
? points 236 b
97.53 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Moderno diccionario del diablo MARCIUS SHAPIRO / Knjiga Trda
common.buy 15.89 €
Kmalu
SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Knjiga Knjiga
common.buy 10.83 €
Lambacher Schweizer Mathematik 8. Ausgabe Thüringen / Knjiga Preglednica
common.buy 12.24 €
Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki / Knjiga Mehka
common.buy 12.75 €
Brest abri 668 GERARD Knjiga Mehka
common.buy 11.94 €
BTS De la musique avant toute chose ? - Culture générale et expression - Examens 2021 et 2022 Manresa Knjiga Mehka
common.buy 11.94 €
Messmer winterpunsch tee, 50g Igra/Igrača Igrača
common.buy 6.47 €
Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi / Knjiga Mehka
common.buy 46.99 €
On ne parle pas aux chouchous ! Kecir-Lepetit / Knjiga Mehka
common.buy 7.79 €
Hermeneutiken Lutz Danneberg / Knjiga Trda
common.buy 178.86 €
Hase und Igel Axel Scheffler / Knjiga Mehka
common.buy 6.27 €
Bu Benim.Zip Asli Serin / Knjiga Mehka
common.buy 10.62 €
Familienunternehmen im Nachfolgeprozess Frank A. Halter / Knjiga Mehka
common.buy 52.05 €
Le Soldat Magicien: Opera-Comique En 1 Acte Louis Anseaume / Knjiga Mehka
common.buy 14.78 €
100 Abenteuerreisen Rudolf S Rehberg / Knjiga Mehka
common.buy 32.81 €
Strategien der Identitätssuche Iris Julia Gütler / Knjiga Mehka
common.buy 53.77 €
Hannebambel Roland Pecher / Igra/Igrača Igra
common.buy 7.99 €
neue E-Bilanz Judith Pohler / Knjiga Mehka
common.buy 21.16 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computer Aided Verification
Avtor Alan J. Hu, Moshe Y. Vardi
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1998
Število strani 552
EAN 9783540646082
ISBN 3540646086
Koda Libristo 05274836
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 720
Mere 156 x 234 x 29

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Selected Articles on Social Insurance. Multiple Contributors / Knjiga Mehka
common.buy 34.43 €
Study of the Effect of Incandescent Gas-Light on Plant Growth Lee C. Corbett / Knjiga Mehka
common.buy 11.03 €
Kept for Jesus Sam Storms / Knjiga Mehka
common.buy 17.92 €
Liberal Quicksand Yves Decock / Knjiga Mehka
common.buy 24.40 €
Fenway Park David Hickey / Knjiga Mehka
common.buy 18.32 €
The Founding Foodies Dave DeWitt / Knjiga Mehka
common.buy 19.84 €
Manhunt: The Pursuit of Harry Tracy Bill Gulick / Knjiga Mehka
common.buy 16.30 €
Long Challenge: The Empowerment Controversy (1967-1977) Victor H. Carpenter / Knjiga Mehka
common.buy 12.14 €
Principles of Marketing Philip T. Kotler / Knjiga Trda
common.buy 241.04 €
GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile / Knjiga Trda
common.buy 32.81 €
When the Clouds Fell from the Sky Robert Carmichael / E-knjiga Adobe ePub DRM
common.buy 3.94 €
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 Mehka
common.buy 27.03 €
THE CHORDATES HERBERT W. 187 RAND / Knjiga Mehka
common.buy 34.63 €
Uncovered Ian Birch / Knjiga Trda
common.buy 48.40 €
Third Sector Meghan Kallman / Knjiga Mehka
common.buy 22.68 €
Orson Welles Chris Wade / Knjiga Mehka
common.buy 14.88 €
Decarbonising The World's Economy: Assessing The Feasibility Of Policies To Reduce Greenhouse Gas Emissions Douglas Crawford-Brown / Knjiga Trda
common.buy 135.61 €
Quantum Mechanics and the Philosophy of Alfred North Whitehead Michael Epperson / Knjiga Mehka
common.buy 38.88 €
Challenge of Democratic Representation in the European Union Sandra Kroger / Knjiga Trda
common.buy 53.26 €
Dark Object Don Ledger / Knjiga Mehka
common.buy 6.57 €
ENT MCQs for Medical Students Mannu Odutoye / Knjiga Mehka
common.buy 52.05 €
Arsenic in the Environment, Part 2 J. O. Nriagu / Knjiga Trda
common.buy 278.01 €
Companion to 19th-Century America Barney / Knjiga Mehka
common.buy 57.01 €
Vegan Family Meals Ann Gentry / Knjiga Trda
common.buy 21.56 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?