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

Symbolic Model Checking

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Symbolic Model Checking Kenneth L. McMillan
Libristo kód: 42163944
Kiadó Kluwer Academic Publishers, július 1993
Formal verification means having a mathematical model of a system, a language for specifying desired... Teljes leírás
? points 249 b
37 007 Ft
Beszállítói készleten Küldés 10-18 napon belül

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

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

Biblia treningu siłowego. Masa mięśniowa, idealna sylwetka, skuteczne ćwiczenia i programy treningów w kulturystyce i fitness wyd. 2021 Grzegorz Andrzejewski / Könyv Puha kötésű
common.buy 7 569 Ft
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce / Könyv Puha kötésű
common.buy 11 576 Ft
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Könyv Kemény kötésű
common.buy 23 943 Ft
Necromáquina ROSSANA REGUILLO / Könyv Puha kötésű
common.buy 8 847 Ft
Polacy w służbie Moskali Chwalba Andrzej / Könyv Puha kötésű
common.buy 11 520 Ft
Schau genau, per St Játék Játék
common.buy 6 235 Ft
Sputnik Christian Berkel / Hanganyagok Audio CD
common.buy 9 338 Ft
Das Fachbuch zum Taschenrechner Rebell SC2060S / Könyv Puha kötésű
common.buy 5 313 Ft
Cycle de l'Atlantide, tome 1 Ariel Riseln / Könyv Puha kötésű
common.buy 8 088 Ft
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Könyv Puha kötésű
common.buy 10 658 Ft
Tiny Music...Songs From The Vatican Gift Shop Stone Temple Pilots / Hanganyagok Audio CD
common.buy 10 612 Ft
Vous et votre voiture / Könyv Puha kötésű
common.buy 13 982 Ft
Enigme des vacances : The captain is missing! 5e/4e Sylvie Rouch / Könyv Kemény kötésű
common.buy 3 651 Ft
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Könyv Puha kötésű
common.buy 14 815 Ft
Yoga-Anatomie 3D Ray Long / Könyv Puha kötésű
common.buy 8 758 Ft
Malbuch für Geist & Seele Dana Zimmermann / Könyv Puha kötésű
common.buy 3 356 Ft
Introdução à Química dos Alimentos Paulo Figueiredo / Könyv Puha kötésű
common.buy 14 712 Ft
Jenny Fanny Lewald / Könyv Puha kötésű
common.buy 6 338 Ft
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Könyv Puha kötésű
common.buy 5 523 Ft
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Könyv Puha kötésű
common.buy 18 616 Ft
Gog Et Magog Louis-G / Könyv Puha kötésű
common.buy 9 085 Ft

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. Whe

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 Symbolic Model Checking
Szerző Kenneth L. McMillan
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 1993
Oldalszám 194
EAN 9780792393801
ISBN 0792393805
Libristo kód 42163944
Kiadó Kluwer Academic Publishers
Súly 426
Méretek 179 x 229 x 18

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Elektronika: áramkörök és komponensek
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

Book of Bees Piotr Socha / Könyv Kemény kötésű
common.buy 8 135 Ft
Complete Account Of The Settlement At Port Jackson Watkin Tench / Könyv Puha kötésű
common.buy 8 580 Ft
South Asian Politics and Religion Donald Eugene Smith / Könyv Kemény kötésű
common.buy 114 073 Ft
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-könyv Adobe ePub DRM
common.buy 38 814 Ft
Encyclopaedia of World Bridges David McFetrich / Könyv Kemény kötésű
common.buy 14 132 Ft
Clip Studio Paint by Example Ludovico Serra / Könyv Puha kötésű
common.buy 23 615 Ft
Confessions Of An Opera Singer (1918) Kathleen Howard / Könyv Kemény kötésű
common.buy 17 366 Ft
Great American Decades Puzzle Book 2000s / Könyv Puha kötésű
common.buy 3 248 Ft
Hamarosan
MBS Crown / Könyv Puha kötésű
common.buy 5 491 Ft
How to Stop Living Paycheck to Paycheck Phil Wall / Könyv Puha kötésű
common.buy 6 815 Ft
Heart of Valor: Gay Romance Dj Monroe / Könyv Puha kötésű
common.buy 3 665 Ft
Toplistás
Making Dances That Matter Anna Halprin / Könyv Puha kötésű
common.buy 8 552 Ft
ALBANIA'S RIGHTS AND CLAIMS TO INDEPENDA CHRISTO ANAST [DAKO / Könyv Kemény kötésű
common.buy 12 587 Ft
Prima Facie Gunnar Farinha / Könyv Puha kötésű
common.buy 4 007 Ft
Place of the Beautiful in the City Plan John Nolen / Könyv Kemény kötésű
common.buy 10 420 Ft
Toplistás
Simon Leach's Pottery Handbook Simon Leach / Könyv Kemény kötésű
common.buy 12 039 Ft
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Könyv Puha kötésű
common.buy 10 420 Ft
Florida Gl Jahoda / Könyv Puha kötésű
common.buy 7 363 Ft
Surgery of the Stomach Horst D. Becker / Könyv Puha kötésű
common.buy 40 195 Ft
Toplistás
NKJV, Simply Charming Bible Thomas Nelson / Könyv Kemény kötésű
common.buy 9 408 Ft
Atomic Properties in Hot Plasmas Jacques Bauche / Könyv Kemény kötésű
common.buy 40 195 Ft
Usborne Geography Encyclopedia Gillian Doherty / Könyv Puha kötésű
common.buy 6 932 Ft
Readings for Reflective Teaching in Early Education Dr Jennifer Colwell / Könyv Puha kötésű
common.buy 16 655 Ft
Voicework in Music Therapy Felicity Baker / Könyv Puha kötésű
common.buy 23 559 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?