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
222.70 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 32.96 zł
Cronicando COUTO / Książka Miękka
common.buy 97.77 zł
L'Olimpia Giambattista della Porta / Książka Twarda
common.buy 77.15 zł
notti chiare Carlotta Cubeddu / Książka Twarda
common.buy 72.15 zł
Manager pour apprendre SHOOK / Książka Miękka
common.buy 184.93 zł
Le Parc Naturel Régional du Morvan à pied collegium / Książka Miękka
common.buy 88.38 zł
Papiermache Figuren selbst gebaut Anke Redhead / Książka Miękka
common.buy 56.43 zł
Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine / Książka Miękka
common.buy 94.61 zł
Lebensversicherungsvertrage A Kaindl / Książka Miękka
common.buy 39.39 zł
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Audio CD Audio
common.buy 37.04 zł
Die Kunst des Zweifelns Andreas U. Sommer / Książka Miękka
common.buy 46.33 zł
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / Książka Miękka
common.buy 107.98 zł
Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli / Książka Miękka
common.buy 83.38 zł
Grain EP ZS / Audio CD Audio
common.buy 61.94 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ć

Meat me: The end of a new beginning Sharon Ann De Jong / Książka Miękka
common.buy 56.33 zł
Adaptive Coding and Modulation Romana Rafi / Książka Miękka
common.buy 221.78 zł
TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE? United States Congress Senate Committee / Książka Miękka
common.buy 119.31 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 67.66 zł
Psychotraumatology George S. Everly Jr. / Książka Miękka
common.buy 886.64 zł
Blake's Reading Log Martha Day Zschock / Książka Miękka
common.buy 36.12 zł
Jane Butel's Simply Southwestern Jane Butel / Książka Twarda
common.buy 115.43 zł
Advances in Systems Biology Igor Goryanin / Książka Miękka
common.buy 886.64 zł
My First Encyclopedia of Trees (giant Size) Richard McGinlay / Książka Miękka
common.buy 24.08 zł
Easy Ukulele Songs Rebecca Bogart / Książka Miękka
common.buy 44.49 zł
Farmer's Magazine Anonymous / Książka Twarda
common.buy 172.99 zł
World's Divide Books 1-4 Collection Ryan Eugene Hartung / Książka Miękka
common.buy 55.62 zł
Sacred Hymns and Spiritual Songs Anonym / Książka Miękka
common.buy 123.08 zł
The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman / Książka Miękka
common.buy 148.60 zł
Theory and New Applications of Swarm Intelligence Rafael Parpinelli / Książka Twarda
common.buy 494.40 zł
Now You Know Royalty Doug Lennox / E-book Adobe ePub DRM
common.buy 24.89 zł
I Am A Key Larry Odell Johnson / Książka Miękka
common.buy 55.00 zł
Metropolitan Poor Vol 5 Masaie Matsumura / Książka Twarda
common.buy 688.02 zł
Diffusion and Use of Genomic Innovations in Health and Medicine Roundtable on Translating Genomic-Based Research for Health / Książka Miękka
common.buy 256.58 zł
Crisis of Gender and the Nation in Korean Literature and Cinema Kelly Y. Jeong / Książka Twarda
common.buy 496.65 zł
Perspectives on U.S. Policy Toward North Korea Sharon Richardson / Książka Miękka
common.buy 248.83 zł
Archive Stories Antoinette Burton / Książka Twarda
common.buy 602.39 zł
Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis / Książka Miękka
common.buy 665.26 zł
Between Resource Plenty and State Failure Christoph Vogel / Książka Miękka
common.buy 73.78 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?