Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computer-aided Verification

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Computer-aided Verification American Mathem American Mathem
Libristo kód: 06319043
Nakladatelství American Mathematical Society, červen 1991
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Celý popis
? points 394 b
3 944 Kč
50 % šance Prohledáme celý svět Kdy knihu dostanu?

30 dní na vrácení zboží

Zákazníci také koupili

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi / Kniha Brožovaná
common.buy 586 Kč
Zeis Mati Blum / Kniha Brožovaná
common.buy 362 Kč
Nuvole Bianche Nessa 19971995 / Kniha Brožovaná
common.buy 342 Kč
Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes... / Kniha Brožovaná
common.buy 644 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Computer-aided Verification
Autor American Mathem American Mathem
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 1991
EAN 9780821865941
ISBN 9780821865941
Libristo kód 06319043
Nakladatelství American Mathematical Society
Váha 666

Kategorie

Matematika a věda > Matematika > Algebra
Výpočetní a informační technologie > Informatika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Integrative Cardiovascular Chinese Medicine Anika Al-Shura / Kniha Pevná
common.buy 3 173 Kč
Crystal Path Georgina Easterbrook / Kniha Pevná
common.buy 470 Kč
Moo-Cow Kung-Fu-Cow Nick Sharratt / Kniha Leporelo
common.buy 150 Kč
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew / Kniha Brožovaná
common.buy 402 Kč
Getting Started with Grails Rudolph / Kniha Brožovaná
common.buy 475 Kč
Wild Oats Or The Strolling Gentlemen John O'Keeffe / Kniha Pevná
common.buy 1 099 Kč
Patterns of a Network Economy Börje Johansson / Kniha Brožovaná
common.buy 2 646 Kč
Připravujeme
Sculptured Thin Films Russell F. Messier / Kniha Pevná
common.buy 2 345 Kč
Responsible Management of Information Systems Stahl / Kniha Pevná
common.buy 2 045 Kč
Připravujeme
Invention of the Moving Assembly Line Dennis Abrams / Kniha Pevná
common.buy 971 Kč
Připravujeme
Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation / Kniha Brožovaná
common.buy 1 299 Kč
Computer-aided Method Engineering Ajantha Dahanayake / Kniha Pevná
common.buy 1 920 Kč
First World, Third World William Ryrie / Kniha Pevná
common.buy 2 646 Kč
Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology / Kniha Brožovaná
common.buy 1 227 Kč
150 Idees Recues Sur L'Histoir FL / Kniha Brožovaná
common.buy 610 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet