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

7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Pierre Wolper
Kod Libristo: 05274476
Wydawnictwo Springer, Berlin, listopad 1994
This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat... Cały opis
? points 125 b
224.10 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida Ivan Garcia / Książka Miękka
common.buy 33.16 zł
Cronicando COUTO / Książka Miękka
common.buy 94.99 zł
Papiermache Figuren selbst gebaut Anke Redhead / Książka Miękka
common.buy 56.79 zł
Lebensversicherungsvertrage A Kaindl / Książka Miękka
common.buy 39.63 zł
Insidious: Chapter 3, 1 Blu-ray Timothy Alverson / Wideo Blu-ray
common.buy 64.18 zł
notti chiare Carlotta Cubeddu / Książka Twarda
common.buy 72.40 zł
Manager pour apprendre SHOOK / Książka Miękka
common.buy 186.10 zł
Die Klänge des Lebens Marco Giovanni Hoos / Książka Twarda
common.buy 58.84 zł
L'Olimpia Giambattista della Porta / Książka Twarda
common.buy 77.64 zł
L'équateur d'Einstein Liu / Książka Miękka
common.buy 129.40 zł
Le Parc Naturel Régional du Morvan à pied collegium / Książka Miękka
common.buy 96.84 zł
Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine / Książka Miękka
common.buy 95.20 zł
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Audio CD Audio
common.buy 37.27 zł
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / Książka Miękka
common.buy 108.65 zł
Die Kunst des Zweifelns Andreas U. Sommer / Książka Miękka
common.buy 45.90 zł
bioskop SII - Ausgabe 2017 für Niedersachsen Jörn Peters / Książka Karta
common.buy 83.39 zł
Grain EP ZS / Audio CD Audio
common.buy 62.33 zł
Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli / Książka Miękka
common.buy 83.90 zł

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.

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 Pierre Wolper
Język Angielski
Oprawa Książka - Miękka
Data wydania 1995
Liczba stron 456
EAN 9783540600459
ISBN 3540600450
Kod Libristo 05274476
Wydawnictwo Springer, Berlin
Waga 622
Wymiary 156 x 234 x 23

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna
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
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ć

Marketing Communications in Emerging Economies, Volume I Thomas Anning-Dorson / Książka Miękka
common.buy 691.31 zł
World's Divide Books 1-4 Collection Ryan Eugene Hartung / Książka Miękka
common.buy 55.96 zł
Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep Wendy Middlemiss / Książka Miękka
common.buy 68.09 zł
Farmer's Magazine Anonymous / Książka Twarda
common.buy 174.08 zł
Crucial Decisions Irving L. Janis / Książka Miękka
common.buy 91.81 zł
Psychotraumatology George S. Everly Jr. / Książka Miękka
common.buy 892.21 zł
Jane Butel's Simply Southwestern Jane Butel / Książka Twarda
common.buy 116.15 zł
Advances in Systems Biology Igor Goryanin / Książka Miękka
common.buy 892.21 zł
My First Encyclopedia of Trees (giant Size) Richard McGinlay / Książka Miękka
common.buy 24.02 zł
Poetical Writings of Fitz-Greene Halleck Fitz-Greene Halleck / Książka Miękka
common.buy 120.05 zł
Easy Ukulele Songs Rebecca Bogart / Książka Miękka
common.buy 44.77 zł
Meat me: The end of a new beginning Sharon Ann De Jong / Książka Miękka
common.buy 56.68 zł
Blake's Reading Log Martha Day Zschock / Książka Miękka
common.buy 36.35 zł
Sacred Hymns and Spiritual Songs Anonym / Książka Miękka
common.buy 123.85 zł
5-Minute Bible Study for Women Emily Biggers / Książka Miękka
common.buy 27.10 zł
Search for Flavor-Changing Neutral Current Top Quark Decays t Hq, with H bb , in pp Collisions at s = 8 TeV with the ATLAS Detector Shota Tsiskaridze / Książka Miękka
common.buy 446.77 zł
The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman / Książka Miękka
common.buy 149.53 zł
Theory and New Applications of Swarm Intelligence Rafael Parpinelli / Książka Twarda
common.buy 497.50 zł
Now You Know Royalty Doug Lennox / E-book Adobe ePub DRM
common.buy 25.05 zł
Carl Sandburg: Selected Poems Paul Berman / Książka Miękka
common.buy 63.77 zł
I Am A Key Larry Odell Johnson / Książka Miękka
common.buy 55.35 zł
Metropolitan Poor Vol 5 Masaie Matsumura / Książka Twarda
common.buy 692.34 zł
Adaptive Coding and Modulation Romana Rafi / Książka Miękka
common.buy 223.17 zł
Middle East Barry Rubin / Książka Twarda
common.buy 1 153.60 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?