Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Aided Verification

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

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Alan J. Hu
Kod Libristo: 05274836
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 1998
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided... Cały opis
? points 249 b
436.67 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Zapowiedź
SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Książka Książka
common.buy 50.48 zł
Moderno diccionario del diablo MARCIUS SHAPIRO / Książka Twarda
common.buy 74.68 zł
Lambacher Schweizer Mathematik 8. Ausgabe Thüringen / Książka Karta
common.buy 54.70 zł
Brest abri 668 GERARD Książka Miękka
common.buy 55.50 zł
BTS De la musique avant toute chose ? - Culture générale et expression - Examens 2021 et 2022 Manresa Książka Miękka
common.buy 55.50 zł
Messmer winterpunsch tee, 50g Gra/Zabawka Zabawka
common.buy 29.91 zł
Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi / Książka Miękka
common.buy 211.30 zł
Hermeneutiken Lutz Danneberg / Książka Twarda
common.buy 799.36 zł
Hase und Igel Axel Scheffler / Książka Miękka
common.buy 28.40 zł
Bu Benim.Zip Asli Serin / Książka Miękka
common.buy 47.47 zł
Familienunternehmen im Nachfolgeprozess Frank A. Halter / Książka Miękka
common.buy 234.39 zł
Le Soldat Magicien: Opera-Comique En 1 Acte Louis Anseaume / Książka Miękka
common.buy 65.84 zł
100 Abenteuerreisen Rudolf S Rehberg / Książka Miękka
common.buy 147.86 zł
Strategien der Identitätssuche Iris Julia Gütler / Książka Miękka
common.buy 254.27 zł
Hannebambel Roland Pecher / Gra/Zabawka Gra
common.buy 36.13 zł
neue E-Bilanz Judith Pohler / Książka Miękka
common.buy 95.16 zł
Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki / Książka Miękka
common.buy 57.51 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computer Aided Verification
Autor Alan J. Hu, Moshe Y. Vardi
Język Angielski
Oprawa Książka - Miękka
Data wydania 1998
Liczba stron 552
EAN 9783540646082
ISBN 3540646086
Kod Libristo 05274836
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 720
Wymiary 156 x 234 x 29

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Selected Articles on Social Insurance. Multiple Contributors / Książka Miękka
common.buy 153.48 zł
Study of the Effect of Incandescent Gas-Light on Plant Growth Lee C. Corbett / Książka Miękka
common.buy 49.58 zł
Kept for Jesus Sam Storms / Książka Miękka
common.buy 80.20 zł
Liberal Quicksand Yves Decock / Książka Miękka
common.buy 108.61 zł
Fenway Park David Hickey / Książka Miękka
common.buy 88.43 zł
The Founding Foodies Dave DeWitt / Książka Miękka
common.buy 88.83 zł
Manhunt: The Pursuit of Harry Tracy Bill Gulick / Książka Miękka
common.buy 72.87 zł
Long Challenge: The Empowerment Controversy (1967-1977) Victor H. Carpenter / Książka Miękka
common.buy 54.10 zł
Principles of Marketing Philip T. Kotler / Książka Twarda
common.buy 1 121.40 zł
GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile / Książka Twarda
common.buy 146.15 zł
When the Clouds Fell from the Sky Robert Carmichael / E-book Adobe ePub DRM
common.buy 18.76 zł
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 / Książka Miękka
common.buy 122.26 zł
THE CHORDATES HERBERT W. 187 RAND / Książka Miękka
common.buy 154.18 zł
Uncovered Ian Birch / Książka Twarda
common.buy 224.65 zł
Third Sector Meghan Kallman / Książka Miękka
common.buy 107.40 zł
Orson Welles Chris Wade / Książka Miękka
common.buy 66.24 zł
Decarbonising The World's Economy: Assessing The Feasibility Of Policies To Reduce Greenhouse Gas Emissions Douglas Crawford-Brown / Książka Twarda
common.buy 600.50 zł
Quantum Mechanics and the Philosophy of Alfred North Whitehead Michael Epperson / Książka Miękka
common.buy 172.25 zł
Challenge of Democratic Representation in the European Union Sandra Kroger / Książka Twarda
common.buy 247.94 zł
Dark Object Don Ledger / Książka Miękka
common.buy 29.60 zł
ENT MCQs for Medical Students Mannu Odutoye / Książka Miękka
common.buy 231.98 zł
Arsenic in the Environment, Part 2 J. O. Nriagu / Książka Twarda
common.buy 1 306.81 zł
Companion to 19th-Century America Barney / Książka Miękka
common.buy 228.17 zł
Vegan Family Meals Ann Gentry / Książka Twarda
common.buy 96.86 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo