A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Computer-aided Verification

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Computer-aided Verification American Mathem American Mathem
Libristo kód: 06319043
Kiadó American Mathematical Society, június 1991
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Teljes leírás
? points 436 b
65 446 Ft
50 % esély Keressük az egész világon Mikor kapom meg a terméket?

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Zeis Mati Blum / Könyv Puha kötésű
common.buy 6 182 Ft
Dalajlamova kočka Zákon kočičí přitažlivosti David Michie / Könyv Kemény kötésű
common.buy 3 498 Ft
Sluší mi tento list, Adame? Ladislav Jílek / Könyv Puha kötésű
common.buy 1 155 Ft
Nuvole Bianche Nessa 19971995 / Könyv Puha kötésű
common.buy 5 855 Ft
Total f*cking godhead. La biografia di Chris Cornell Corbin Reiff / Könyv Puha kötésű
common.buy 12 923 Ft
the coil of a snake CHRISTELLE / Könyv Puha kötésű
common.buy 20 908 Ft
Les plantes ? Couplan / Könyv Puha kötésű
common.buy 8 738 Ft
La Communication En Milieu Hospitalier Nzabamwita-V / Könyv Puha kötésű
common.buy 19 801 Ft
Logarithmischen Potentiales Axel Harnack / Könyv Puha kötésű
common.buy 8 407 Ft
Poslední film Zuzany Bergové Jan Jandourek / Könyv Puha kötésű
common.buy 2 987 Ft
Ciudadanos : sed realistas, decid lo indecible Félix de Azúa / Könyv Puha kötésű
common.buy 9 770 Ft
Confidencias y confesiones José María de Llanos / Könyv Puha kötésű
common.buy 5 060 Ft
ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi / Könyv Puha kötésű
common.buy 8 767 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Computer-aided Verification
Szerző American Mathem American Mathem
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 1991
EAN 9780821865941
ISBN 9780821865941
Libristo kód 06319043
Kiadó American Mathematical Society
Súly 666

Kategória

Matematika és természettudomány > Matematika > Algebra
Számítástechnika és információtechnológia > Számítógéptudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Integrative Cardiovascular Chinese Medicine Anika Al-Shura / Könyv Kemény kötésű
common.buy 45 333 Ft
Crystal Path Georgina Easterbrook / Könyv Kemény kötésű
common.buy 8 047 Ft
Korean War Korea Institute of Military History / Könyv Puha kötésű
common.buy 15 536 Ft
Moo-Cow Kung-Fu-Cow Nick Sharratt / Könyv Leporelló
common.buy 2 566 Ft
Overcoming Sorrow: Poems in English and Russian Adolf Shvedchikov / Könyv Puha kötésű
common.buy 5 718 Ft
Hobby-horse Arthur W. Pinero / Könyv Puha kötésű
common.buy 6 409 Ft
Communist Party of Great Britain and the National Question in Wales, 1920-1991 Douglas Jones / Könyv Kemény kötésű
common.buy 43 771 Ft
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew / Könyv Puha kötésű
common.buy 6 831 Ft
Leaving Jesus James Wood Jr / Könyv Puha kötésű
common.buy 5 462 Ft
Symbolic Immortality Sergei Kan / Könyv Puha kötésű
common.buy 17 789 Ft
It's Ryan's Ranch Joyce Marie / Könyv Puha kötésű
common.buy 5 898 Ft
Getting Started with Grails Rudolph / Könyv Puha kötésű
common.buy 7 971 Ft
Patterns of a Network Economy Börje Johansson / Könyv Puha kötésű
common.buy 42 706 Ft
150 Idees Recues Sur L'Histoir FL / Könyv Puha kötésű
common.buy 9 126 Ft
Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology / Könyv Puha kötésű
common.buy 20 922 Ft
First World, Third World William Ryrie / Könyv Kemény kötésű
common.buy 42 706 Ft
Computer-aided Method Engineering Ajantha Dahanayake / Könyv Kemény kötésű
common.buy 30 290 Ft
Hamarosan
Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation / Könyv Puha kötésű
common.buy 19 365 Ft
Wild Oats Or The Strolling Gentlemen John O'Keeffe / Könyv Kemény kötésű
common.buy 18 674 Ft
Hamarosan
Invention of the Moving Assembly Line Dennis Abrams / Könyv Kemény kötésű
common.buy 14 456 Ft
Responsible Management of Information Systems Stahl / Könyv Kemény kötésű
common.buy 32 259 Ft
Hamarosan
Sculptured Thin Films Russell F. Messier / Könyv Kemény kötésű
common.buy 35 066 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?