Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Verified Software: Theories, Tools, Experiments

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Verified Software: Theories, Tools, Experiments Natarajan Shankar
Koda Libristo: 01570696
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2008
This volume contains the proceedings of the second working conference on Verified Software: Theories... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Innovation collaborative BOUCHEZ / Knjiga Mehka
common.buy 33.51 €
Mundwerk Thomas Godoj / Zvok Zvočni CD
common.buy 11.13 €
MIRADAS CLAVERO / Knjiga Knjiga
common.buy 21.56 €
Ethisches Argumentieren Katharina Klöcker / Knjiga Mehka
common.buy 42.53 €
Les derniers jours de la gauche Barbier / Knjiga Mehka
common.buy 21.97 €
Das Problem Einer Internationalen Orthographie-Reform (1901) Th Sprater / Knjiga Mehka
common.buy 20.25 €
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 / Knjiga Mehka
common.buy 9.00 €
Česko dětem 2 / Tiskani izdelki Zemljevid
common.buy 3.13 €
Ako sa Ela naučila vidieť neviditeľné Zuzana Líšková / Knjiga Trda
common.buy 5.97 €
Die wahre Geschichte von McDonald's Ray Kroc / Knjiga Mehka
common.buy 14.37 €
Mirabilia CONRAD ROSET / Knjiga Mehka
common.buy 19.23 €
Flux Attwenger / Zvok Zvočni CD
common.buy 21.06 €
Tentateur LaCroix-J / Knjiga Mehka
common.buy 26.02 €
Gesänge der Liebe Hans-Peter Kolb / Knjiga Trda
common.buy 21.87 €
Mein Mathe-Lernheft - Sachrechnen und Größen Jan Boesten / Knjiga Preglednica
common.buy 3.84 €
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Knjiga Mehka
common.buy 35.74 €
Versuch einer neuen Theorie des menschlichen Vorstellungsvermögens. Teilband 2. Tl.2 Karl L. Reinhold / Knjiga Trda
common.buy 61.06 €
Frost Thomas Bernhard / Knjiga Mehka
common.buy 11.94 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Verified Software: Theories, Tools, Experiments
Avtor Natarajan Shankar, Jim Woodcock
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2008
Število strani 263
EAN 9783540878728
ISBN 3540878726
Koda Libristo 01570696
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 427
Mere 155 x 235 x 16

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Modular Specification and Verification of Object-Oriented Programs Peter Müller / Knjiga Mehka
common.buy 48.91 €
The Angel Children Linda Emmanuel / Knjiga Mehka
common.buy 12.35 €
ALABAMA MOON MTI Watt Key / Knjiga Mehka
common.buy 10.02 €
Crime Scene Investigation Jacqueline T. (Charleston Southern University Fish / Knjiga Mehka
common.buy 100.67 €
New London John J. Ruddy / Knjiga Mehka
common.buy 18.32 €
Laws of Love Patricia Cohen / Knjiga Mehka
common.buy 30.27 €
Key Words in Islam: Ron Geaves / Knjiga Mehka
common.buy 21.56 €
All the Lives We Never Lived Anuradha Roy / E-knjiga Adobe ePub DRM
common.buy 6.88 €
Analysis of Educational Challenges in the New South Africa Zandile P. Nkabinde / Knjiga Mehka
common.buy 36.96 €
ILLUMINATIONS Mark Wilson / Knjiga Mehka
common.buy 14.07 €
How to Do Homework Without Throwing Up Trevor Romain / Knjiga Mehka
common.buy 9.00 €
Promise and Peril Will R. Jordan / Knjiga Mehka
common.buy 22.98 €
Moonwalking with Einstein Joshua Foer / E-knjiga Adobe ePub DRM
common.buy 14.78 €
Way to Do a Thing Is to Do It CARL WELLS / Knjiga Mehka
common.buy 20.35 €
KOREAN GRAMMAR CANVAS - WORKBOOK for BEGINNERS 2 Miss Vicky / Knjiga Mehka
common.buy 19.33 €
C.O.W.: Creatures of War Thomax Green / Knjiga Mehka
common.buy 12.35 €
Alexander the Great W B Godbey / Knjiga Mehka
common.buy 6.88 €
Diary of a Softball Girl Amy Ballantyne / Knjiga Mehka
common.buy 12.35 €
Gratitude Coloring Book: For Mindfulness & Relaxation - Suitable For Women, Teenagers, Girls - Inspirational Zen Stress Relieving - Non Religio Sammie Lou / Knjiga Mehka
common.buy 8.09 €
Top
Becoming Myself Irvin D. Yalom / Knjiga Mehka
common.buy 14.78 €
Top
After the Rain 3 Jun Mayuzuki / Knjiga Mehka
common.buy 13.36 €
Twice Bought Robert Michael Ballantyne / Knjiga Mehka
common.buy 19.44 €
(Sur)real Melissa Haag / Knjiga Mehka
common.buy 10.62 €
King Atterberry Ink Christine Jones / Knjiga Mehka
common.buy 13.26 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?