Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Verified Software: Theories, Tools, Experiments

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

Limba englezăengleză
Carte Carte broșată
Carte Verified Software: Theories, Tools, Experiments Natarajan Shankar
Codul Libristo: 01570696
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2008
This volume contains the proceedings of the second working conference on Verified Software: Theories... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Innovation collaborative BOUCHEZ / Carte Carte broșată
common.buy 192.76 lei
Mundwerk Thomas Godoj / Audio Audio CD
common.buy 64.42 lei
MIRADAS CLAVERO / Carte Carte
common.buy 124.57 lei
Ethisches Argumentieren Katharina Klöcker / Carte Carte broșată
common.buy 246.87 lei
Les derniers jours de la gauche Barbier / Carte Carte broșată
common.buy 126.55 lei
Das Problem Einer Internationalen Orthographie-Reform (1901) Th Sprater / Carte Carte broșată
common.buy 116.96 lei
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 / Carte Carte broșată
common.buy 52.12 lei
Česko dětem 2 / Materiale tipărite Hartă
common.buy 18.65 lei
Ako sa Ela naučila vidieť neviditeľné Zuzana Líšková / Carte Copertă tare
common.buy 36.69 lei
Die wahre Geschichte von McDonald's Ray Kroc / Carte Carte broșată
common.buy 85.27 lei
Mirabilia CONRAD ROSET / Carte Carte broșată
common.buy 120.30 lei
Flux Attwenger / Audio Audio CD
common.buy 121.13 lei
Tentateur LaCroix-J / Carte Carte broșată
common.buy 149.60 lei
Gesänge der Liebe Hans-Peter Kolb / Carte Copertă tare
common.buy 129.16 lei
Mein Mathe-Lernheft - Sachrechnen und Größen Jan Boesten / Carte Foaie
common.buy 22.61 lei
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Carte Carte broșată
common.buy 209.75 lei
Versuch einer neuen Theorie des menschlichen Vorstellungsvermögens. Teilband 2. Tl.2 Karl L. Reinhold / Carte Copertă tare
common.buy 358.21 lei
Frost Thomas Bernhard / Carte Carte broșată
common.buy 70.57 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Verified Software: Theories, Tools, Experiments
Autor Natarajan Shankar, Jim Woodcock
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 263
EAN 9783540878728
ISBN 3540878726
Codul Libristo 01570696
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 427
Dimensiuni 155 x 235 x 16

Categorii

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Modular Specification and Verification of Object-Oriented Programs Peter Müller / Carte Carte broșată
common.buy 285.96 lei
The Angel Children Linda Emmanuel / Carte Carte broșată
common.buy 72.03 lei
ALABAMA MOON MTI Watt Key / Carte Carte broșată
common.buy 59.52 lei
Crime Scene Investigation Jacqueline T. (Charleston Southern University Fish / Carte Carte broșată
common.buy 580.28 lei
New London John J. Ruddy / Carte Carte broșată
common.buy 109.67 lei
Laws of Love Patricia Cohen / Carte Carte broșată
common.buy 158.67 lei
Key Words in Islam: Ron Geaves / Carte Carte broșată
common.buy 123.74 lei
All the Lives We Never Lived Anuradha Roy / E-book Adobe ePub DRM
common.buy 39.92 lei
Analysis of Educational Challenges in the New South Africa Zandile P. Nkabinde / Carte Carte broșată
common.buy 215.38 lei
ILLUMINATIONS Mark Wilson / Carte Carte broșată
common.buy 81.83 lei
How to Do Homework Without Throwing Up Trevor Romain / Carte Carte broșată
common.buy 53.58 lei
Promise and Peril Will R. Jordan / Carte Carte broșată
common.buy 132.81 lei
Moonwalking with Einstein Joshua Foer / E-book Adobe ePub DRM
common.buy 86.83 lei
Way to Do a Thing Is to Do It CARL WELLS / Carte Carte broșată
common.buy 116.96 lei
KOREAN GRAMMAR CANVAS - WORKBOOK for BEGINNERS 2 Miss Vicky / Carte Carte broșată
common.buy 111.75 lei
C.O.W.: Creatures of War Thomax Green / Carte Carte broșată
common.buy 71.82 lei
Alexander the Great W B Godbey / Carte Carte broșată
common.buy 39.71 lei
Diary of a Softball Girl Amy Ballantyne / Carte Carte broșată
common.buy 72.03 lei
Gratitude Coloring Book: For Mindfulness & Relaxation - Suitable For Women, Teenagers, Girls - Inspirational Zen Stress Relieving - Non Religio Sammie Lou / Carte Carte broșată
common.buy 47.11 lei
Top
Becoming Myself Irvin D. Yalom / Carte Carte broșată
common.buy 87.88 lei
Top
After the Rain 3 Jun Mayuzuki / Carte Carte broșată
common.buy 79.64 lei
Twice Bought Robert Michael Ballantyne / Carte Carte broșată
common.buy 114.67 lei
(Sur)real Melissa Haag / Carte Carte broșată
common.buy 63.38 lei
King Atterberry Ink Christine Jones / Carte Carte broșată
common.buy 76.83 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo