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 Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
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
445.65 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Zapowiedź
SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Książka Książka
common.buy 50.60 zł
Moderno diccionario del diablo MARCIUS SHAPIRO / Książka Twarda
common.buy 68.12 zł
Lambacher Schweizer Mathematik 8. Ausgabe Thüringen / Książka Karta
common.buy 55.82 zł
Brest abri 668 GERARD Książka Miękka
common.buy 55.93 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.93 zł
Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki / Książka Miękka
common.buy 58.69 zł
On ne parle pas aux chouchous ! Kecir-Lepetit / Książka Miękka
common.buy 33.08 zł
Messmer winterpunsch tee, 50g Gra/Zabawka Zabawka
common.buy 30.42 zł
Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi / Książka Miękka
common.buy 215.65 zł
Matka kuuhun / Książka Twarda
common.buy 115.14 zł
Hermeneutiken Lutz Danneberg / Książka Twarda
common.buy 815.80 zł
Hase und Igel Axel Scheffler / Książka Miękka
common.buy 28.78 zł
Bu Benim.Zip Asli Serin / Książka Miękka
common.buy 48.45 zł
Familienunternehmen im Nachfolgeprozess Frank A. Halter / Książka Miękka
common.buy 239.21 zł
Le Soldat Magicien: Opera-Comique En 1 Acte Louis Anseaume / Książka Miękka
common.buy 55.62 zł
Praktische Rationalitat Julian Nida-Rümelin / Książka Twarda
common.buy 622.88 zł
100 Abenteuerreisen Rudolf S Rehberg / Książka Miękka
common.buy 150.90 zł
Strategien der Identitätssuche Iris Julia Gütler / Książka Miękka
common.buy 259.29 zł
Hannebambel Roland Pecher / Gra/Zabawka Gra
common.buy 36.87 zł
neue E-Bilanz Judith Pohler / Książka Miękka
common.buy 97.11 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 156.64 zł
Study of the Effect of Incandescent Gas-Light on Plant Growth Lee C. Corbett / Książka Miękka
common.buy 50.60 zł
Kept for Jesus Sam Storms / Książka Miękka
common.buy 81.85 zł
When the Clouds Fell from the Sky Robert Carmichael / E-book Adobe ePub DRM
common.buy 18.94 zł
Fenway Park David Hickey / Książka Miękka
common.buy 90.14 zł
The Founding Foodies Dave DeWitt / Książka Miękka
common.buy 90.66 zł
Manhunt: The Pursuit of Harry Tracy Bill Gulick / Książka Miękka
common.buy 76.31 zł
Long Challenge: The Empowerment Controversy (1967-1977) Victor H. Carpenter / Książka Miękka
common.buy 55.21 zł
Principles of Marketing Philip T. Kotler / Książka Twarda
common.buy 1 144.25 zł
GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile / Książka Twarda
common.buy 149.16 zł
Liberal Quicksand Yves Decock / Książka Miękka
common.buy 110.84 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 124.77 zł
THE CHORDATES HERBERT W. 187 RAND / Książka Miękka
common.buy 157.35 zł
Uncovered Ian Birch / Książka Twarda
common.buy 228.35 zł
Third Sector Meghan Kallman / Książka Miękka
common.buy 107.46 zł
Orson Welles Chris Wade / Książka Miękka
common.buy 67.61 zł
Decarbonising The World's Economy: Assessing The Feasibility Of Policies To Reduce Greenhouse Gas Emissions Douglas Crawford-Brown / Książka Twarda
common.buy 612.85 zł
Quantum Mechanics and the Philosophy of Alfred North Whitehead Michael Epperson / Książka Miękka
common.buy 175.79 zł
Challenge of Democratic Representation in the European Union Sandra Kroger / Książka Twarda
common.buy 252.63 zł
Dark Object Don Ledger / Książka Miękka
common.buy 30.21 zł
ENT MCQs for Medical Students Mannu Odutoye / Książka Miękka
common.buy 248.74 zł
Arsenic in the Environment, Part 2 J. O. Nriagu / Książka Twarda
common.buy 1 333.27 zł
Companion to 19th-Century America Barney / Książka Miękka
common.buy 232.86 zł
Vegan Family Meals Ann Gentry / Książka Twarda
common.buy 98.85 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?