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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Computer-aided Verification

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga Computer-aided Verification American Mathem American Mathem
Koda Libristo: 06319043
Založba American Mathematical Society, junij 1991
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Celoten opis
? points 394 b
162.95 €
50% možnost Preiskali bomo ves svet Kdaj dobim knjigo?

Do 30 dni za vračilo

Drugi so kupili tudi

Zeis Mati Blum / Knjiga Mehka
common.buy 14.96 €
Dalajlamova kočka Zákon kočičí přitažlivosti David Michie / Knjiga Trda
common.buy 8.59 €
Sluší mi tento list, Adame? Ladislav Jílek / Knjiga Mehka
common.buy 2.82 €
Nuvole Bianche Nessa 19971995 / Knjiga Mehka
common.buy 14.15 €
Total f*cking godhead. La biografia di Chris Cornell Corbin Reiff / Knjiga Mehka
common.buy 30.84 €
the coil of a snake CHRISTELLE / Knjiga Mehka
common.buy 52.29 €
Les plantes ? Couplan / Knjiga Mehka
common.buy 21.74 €
Alef Paulo Coelho / Knjiga Trda
common.buy 6.56 €
La Communication En Milieu Hospitalier Nzabamwita-V / Knjiga Mehka
common.buy 46.93 €
Logarithmischen Potentiales Axel Harnack / Knjiga Mehka
common.buy 20.52 €
Poslední film Zuzany Bergové Jan Jandourek / Knjiga Mehka
common.buy 7.27 €
Ciudadanos : sed realistas, decid lo indecible Félix de Azúa / Knjiga Mehka
common.buy 24.67 €
Confidencias y confesiones José María de Llanos / Knjiga Mehka
common.buy 12.63 €
ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi / Knjiga Mehka
common.buy 21.94 €

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

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 American Mathem American Mathem
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 1991
EAN 9780821865941
ISBN 9780821865941
Koda Libristo 06319043
Založba American Mathematical Society
Teža 666

Kategorije

Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer science
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

Integrative Cardiovascular Chinese Medicine Anika Al-Shura / Knjiga Trda
common.buy 108.33 €
Crystal Path Georgina Easterbrook / Knjiga Trda
common.buy 20.83 €
Korean War Korea Institute of Military History / Knjiga Mehka
common.buy 37.42 €
Moo-Cow Kung-Fu-Cow Nick Sharratt / Knjiga Kartonka
common.buy 6.16 €
Overcoming Sorrow: Poems in English and Russian Adolf Shvedchikov / Knjiga Mehka
common.buy 13.75 €
Hobby-horse Arthur W. Pinero / Knjiga Mehka
common.buy 15.16 €
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew / Knjiga Mehka
common.buy 16.58 €
Leaving Jesus James Wood Jr / Knjiga Mehka
common.buy 13.14 €
Symbolic Immortality Sergei Kan / Knjiga Mehka
common.buy 43.59 €
It's Ryan's Ranch Joyce Marie / Knjiga Mehka
common.buy 14.35 €
Getting Started with Grails Rudolph / Knjiga Mehka
common.buy 17.49 €
Patterns of a Network Economy Börje Johansson / Knjiga Mehka
common.buy 104.18 €
150 Idees Recues Sur L'Histoir FL / Knjiga Mehka
common.buy 22.65 €
Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology / Knjiga Mehka
common.buy 51.28 €
First World, Third World William Ryrie / Knjiga Trda
common.buy 104.18 €
Computer-aided Method Engineering Ajantha Dahanayake / Knjiga Trda
common.buy 79.40 €
Kmalu
Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation / Knjiga Mehka
common.buy 48.24 €
Wild Oats Or The Strolling Gentlemen John O'Keeffe / Knjiga Trda
common.buy 45.41 €
Kmalu
Invention of the Moving Assembly Line Dennis Abrams / Knjiga Trda
common.buy 36.00 €
Responsible Management of Information Systems Stahl / Knjiga Trda
common.buy 84.56 €
Kmalu
Sculptured Thin Films Russell F. Messier / Knjiga Trda
common.buy 87.39 €

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