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 Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 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

Verified Software: Theories, Tools, Experiments

Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Verified Software: Theories, Tools, Experiments Natarajan Shankar
Libristo kód: 01570696
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, szeptember 2008
This volume contains the proceedings of the second working conference on Verified Software: Theories... Teljes leírás
? points 136 b
19 902 Ft
Beszállítói készleten Küldés 5-8 napon belül

30 nap a termék visszaküldésére

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

Innovation collaborative BOUCHEZ / Könyv Puha kötésű
common.buy 13 015 Ft
Mundwerk Thomas Godoj / Hanganyagok Audio CD
common.buy 4 469 Ft
MIRADAS CLAVERO / Könyv Könyv
common.buy 8 412 Ft
Ethisches Argumentieren Katharina Klöcker / Könyv Puha kötésű
common.buy 16 666 Ft
Les derniers jours de la gauche Barbier / Könyv Puha kötésű
common.buy 8 546 Ft
Das Problem Einer Internationalen Orthographie-Reform (1901) Th Sprater / Könyv Puha kötésű
common.buy 8 121 Ft
Feuilles de travail pour la thérapie cognitivo-comportementale pour la dépression: Manuel de CBT pour faire face ? l'humeur de contrôle de l'anxiété, Jacquelyn Lefebvre / Könyv Puha kötésű
common.buy 3 619 Ft
Česko dětem 2 / Nyomtatványok Térkép
common.buy 1 262 Ft
Ako sa Ela naučila vidieť neviditeľné Zuzana Líšková / Könyv Kemény kötésű
common.buy 2 477 Ft
Die wahre Geschichte von McDonald's Ray Kroc / Könyv Puha kötésű
common.buy 5 967 Ft
Mirabilia CONRAD ROSET / Könyv Puha kötésű
common.buy 7 695 Ft
Flux Attwenger / Hanganyagok Audio CD
common.buy 8 398 Ft
Tentateur LaCroix-J / Könyv Puha kötésű
common.buy 10 376 Ft
Gesänge der Liebe Hans-Peter Kolb / Könyv Kemény kötésű
common.buy 9 013 Ft
Mein Mathe-Lernheft - Sachrechnen und Größen Jan Boesten / Könyv Lap
common.buy 1 567 Ft
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Könyv Puha kötésű
common.buy 14 614 Ft
Versuch einer neuen Theorie des menschlichen Vorstellungsvermögens. Teilband 2. Tl.2 Karl L. Reinhold / Könyv Kemény kötésű
common.buy 24 182 Ft
Frost Thomas Bernhard / Könyv Puha kötésű
common.buy 4 922 Ft

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. §The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.

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 Verified Software: Theories, Tools, Experiments
Szerző Natarajan Shankar, Jim Woodcock
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2008
Oldalszám 263
EAN 9783540878728
ISBN 3540878726
Libristo kód 01570696
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 427
Méretek 155 x 235 x 16

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
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 > Számítógéptudomány > Mesterséges intelligencia
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

Modular Specification and Verification of Object-Oriented Programs Peter Müller / Könyv Puha kötésű
common.buy 19 902 Ft
The Angel Children Linda Emmanuel / Könyv Puha kötésű
common.buy 4 996 Ft
ALABAMA MOON MTI Watt Key / Könyv Puha kötésű
common.buy 4 146 Ft
Crime Scene Investigation Jacqueline T. (Charleston Southern University Fish / Könyv Puha kötésű
common.buy 40 233 Ft
New London John J. Ruddy / Könyv Puha kötésű
common.buy 7 663 Ft
Laws of Love Patricia Cohen / Könyv Puha kötésű
common.buy 11 254 Ft
Key Words in Islam: Ron Geaves / Könyv Puha kötésű
common.buy 8 574 Ft
All the Lives We Never Lived Anuradha Roy / E-könyv Adobe ePub DRM
common.buy 2 695 Ft
Analysis of Educational Challenges in the New South Africa Zandile P. Nkabinde / Könyv Puha kötésű
common.buy 14 979 Ft
ILLUMINATIONS Mark Wilson / Könyv Puha kötésű
common.buy 5 685 Ft
How to Do Homework Without Throwing Up Trevor Romain / Könyv Puha kötésű
common.buy 3 739 Ft
Promise and Peril Will R. Jordan / Könyv Puha kötésű
common.buy 9 221 Ft
Moonwalking with Einstein Joshua Foer / E-könyv Adobe ePub DRM
common.buy 5 833 Ft
Way to Do a Thing Is to Do It CARL WELLS / Könyv Puha kötésű
common.buy 8 107 Ft
KOREAN GRAMMAR CANVAS - WORKBOOK for BEGINNERS 2 Miss Vicky / Könyv Puha kötésű
common.buy 7 756 Ft
C.O.W.: Creatures of War Thomax Green / Könyv Puha kötésű
common.buy 4 982 Ft
Alexander the Great W B Godbey / Könyv Puha kötésű
common.buy 2 768 Ft
Diary of a Softball Girl Amy Ballantyne / Könyv Puha kötésű
common.buy 4 996 Ft
Gratitude Coloring Book: For Mindfulness & Relaxation - Suitable For Women, Teenagers, Girls - Inspirational Zen Stress Relieving - Non Religio Sammie Lou / Könyv Puha kötésű
common.buy 3 282 Ft
Toplistás
Becoming Myself Irvin D. Yalom / Könyv Puha kötésű
common.buy 6 156 Ft
Toplistás
After the Rain 3 Jun Mayuzuki / Könyv Puha kötésű
common.buy 5 569 Ft
Twice Bought Robert Michael Ballantyne / Könyv Puha kötésű
common.buy 7 987 Ft
(Sur)real Melissa Haag / Könyv Puha kötésű
common.buy 4 442 Ft
King Atterberry Ink Christine Jones / Könyv Puha kötésű
common.buy 5 348 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?