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 futárszolgálat 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 DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 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

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Computer Aided Verification Alan J. Hu
Libristo kód: 05274836
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, június 1998
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided... Teljes leírás
? points 271 b
39 416 Ft
Beszállítói készleten Küldés 5-8 napon belül

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

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

Moderno diccionario del diablo MARCIUS SHAPIRO / Könyv Kemény kötésű
common.buy 6 201 Ft
Hamarosan
SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Könyv Könyv
common.buy 4 191 Ft
Lambacher Schweizer Mathematik 8. Ausgabe Thüringen / Könyv Lap
common.buy 4 889 Ft
Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki / Könyv Puha kötésű
common.buy 5 224 Ft
Brest abri 668 GERARD Könyv Puha kötésű
common.buy 4 613 Ft
BTS De la musique avant toute chose ? - Culture générale et expression - Examens 2021 et 2022 Manresa Könyv Puha kötésű
common.buy 4 613 Ft
Messmer winterpunsch tee, 50g Játék Játék
common.buy 2 488 Ft
Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi / Könyv Puha kötésű
common.buy 19 201 Ft
On ne parle pas aux chouchous ! Kecir-Lepetit / Könyv Puha kötésű
common.buy 2 970 Ft
Hermeneutiken Lutz Danneberg / Könyv Kemény kötésű
common.buy 71 980 Ft
Hase und Igel Axel Scheffler / Könyv Puha kötésű
common.buy 2 589 Ft
Bu Benim.Zip Asli Serin / Könyv Puha kötésű
common.buy 4 264 Ft
Familienunternehmen im Nachfolgeprozess Frank A. Halter / Könyv Puha kötésű
common.buy 21 294 Ft
Le Soldat Magicien: Opera-Comique En 1 Acte Louis Anseaume / Könyv Puha kötésű
common.buy 5 894 Ft
100 Abenteuerreisen Rudolf S Rehberg / Könyv Puha kötésű
common.buy 13 436 Ft
Strategien der Identitätssuche Iris Julia Gütler / Könyv Puha kötésű
common.buy 21 120 Ft
Hannebambel Roland Pecher / Játék Játék
common.buy 3 291 Ft
neue E-Bilanz Judith Pohler / Könyv Puha kötésű
common.buy 8 648 Ft

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

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ő Alan J. Hu, Moshe Y. Vardi
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1998
Oldalszám 552
EAN 9783540646082
ISBN 3540646086
Libristo kód 05274836
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 720
Méretek 156 x 234 x 29

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Operációs rendszerek
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

Selected Articles on Social Insurance. Multiple Contributors / Könyv Puha kötésű
common.buy 13 739 Ft
Study of the Effect of Incandescent Gas-Light on Plant Growth Lee C. Corbett / Könyv Puha kötésű
common.buy 4 512 Ft
Kept for Jesus Sam Storms / Könyv Puha kötésű
common.buy 7 294 Ft
Liberal Quicksand Yves Decock / Könyv Puha kötésű
common.buy 9 695 Ft
Fenway Park David Hickey / Könyv Puha kötésű
common.buy 7 611 Ft
The Founding Foodies Dave DeWitt / Könyv Puha kötésű
common.buy 8 019 Ft
Manhunt: The Pursuit of Harry Tracy Bill Gulick / Könyv Puha kötésű
common.buy 6 771 Ft
Long Challenge: The Empowerment Controversy (1967-1977) Victor H. Carpenter / Könyv Puha kötésű
common.buy 4 847 Ft
Principles of Marketing Philip T. Kotler / Könyv Kemény kötésű
common.buy 95 661 Ft
GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile / Könyv Kemény kötésű
common.buy 13 087 Ft
When the Clouds Fell from the Sky Robert Carmichael / E-könyv Adobe ePub DRM
common.buy 1 542 Ft
Precedents in Conveyancing: A Collection of Forms of Assurances of Real and Personal Property Adapted to the Present State of the Law ... Volume 4 S Vallis Bone / Könyv Puha kötésű
common.buy 11 163 Ft
THE CHORDATES HERBERT W. 187 RAND / Könyv Puha kötésű
common.buy 13 798 Ft
Uncovered Ian Birch / Könyv Kemény kötésű
common.buy 18 659 Ft
Third Sector Meghan Kallman / Könyv Puha kötésű
common.buy 8 896 Ft
Orson Welles Chris Wade / Könyv Puha kötésű
common.buy 5 926 Ft
Decarbonising The World's Economy: Assessing The Feasibility Of Policies To Reduce Greenhouse Gas Emissions Douglas Crawford-Brown / Könyv Kemény kötésű
common.buy 53 421 Ft
Quantum Mechanics and the Philosophy of Alfred North Whitehead Michael Epperson / Könyv Puha kötésű
common.buy 15 286 Ft
Challenge of Democratic Representation in the European Union Sandra Kroger / Könyv Kemény kötésű
common.buy 21 133 Ft
Dark Object Don Ledger / Könyv Puha kötésű
common.buy 2 708 Ft
ENT MCQs for Medical Students Mannu Odutoye / Könyv Puha kötésű
common.buy 20 248 Ft
Arsenic in the Environment, Part 2 J. O. Nriagu / Könyv Kemény kötésű
common.buy 111 763 Ft
Companion to 19th-Century America Barney / Könyv Puha kötésű
common.buy 21 179 Ft
Vegan Family Meals Ann Gentry / Könyv Kemény kötésű
common.buy 8 763 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?