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ć
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer-aided Verification

Język AngielskiAngielski
Książka Twarda
Książka Computer-aided Verification American Mathem American Mathem
Kod Libristo: 06319043
Wydawnictwo American Mathematical Society, czerwiec 1991
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Cały opis
? points 415 b
727.36 zł
50 % szansa Przeszukamy cały świat Kiedy dostanę książkę?

30 dni na zwrot towaru

Klienci kupili także

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi / Książka Miękka
common.buy 102.67 zł
Zeis Mati Blum / Książka Miękka
common.buy 66.73 zł
Nuvole Bianche Nessa 19971995 / Książka Miękka
common.buy 63.22 zł
Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes... / Książka Miękka
common.buy 118.22 zł

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.

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 American Mathem American Mathem
Język Angielski
Oprawa Książka - Twarda
Data wydania 1991
EAN 9780821865941
ISBN 9780821865941
Kod Libristo 06319043
Wydawnictwo American Mathematical Society
Waga 666

Kategoria

Matematyka i nauki ścisłe > Matematyka > Algebra
Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
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ć

Integrative Cardiovascular Chinese Medicine Anika Al-Shura / Książka Twarda
common.buy 555.83 zł
Crystal Path Georgina Easterbrook / Książka Twarda
common.buy 82.29 zł
Moo-Cow Kung-Fu-Cow Nick Sharratt / Książka Leporelo
common.buy 28.19 zł
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew / Książka Miękka
common.buy 73.96 zł
Getting Started with Grails Rudolph / Książka Miękka
common.buy 83.20 zł
Wild Oats Or The Strolling Gentlemen John O'Keeffe / Książka Twarda
common.buy 202.33 zł
Patterns of a Network Economy Börje Johansson / Książka Miękka
common.buy 485.47 zł
Zapowiedź
Sculptured Thin Films Russell F. Messier / Książka Twarda
common.buy 410.80 zł
Responsible Management of Information Systems Stahl / Książka Twarda
common.buy 374.16 zł
Zapowiedź
Invention of the Moving Assembly Line Dennis Abrams / Książka Twarda
common.buy 170.11 zł
Zapowiedź
Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation / Książka Miękka
common.buy 227.52 zł
Computer-aided Method Engineering Ajantha Dahanayake / Książka Twarda
common.buy 351.28 zł
First World, Third World William Ryrie / Książka Twarda
common.buy 485.47 zł
Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology / Książka Miękka
common.buy 225.12 zł
150 Idees Recues Sur L'Histoir FL / Książka Miękka
common.buy 106.88 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