«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Verified Software: Theories, Tools, Experiments

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

Idioma InglésInglés
Libro Tapa blanda
Libro Verified Software: Theories, Tools, Experiments Natarajan Shankar
Código Libristo: 01570696
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septiembre 2008
This volume contains the proceedings of the second working conference on Verified Software: Theories... Descripción completa
? points 125 b
51.09 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Quantum: el abuelo y la nieta Capetillo Blanco / Libro Tapa blanda
common.buy 19.99 €
Allgemeine Haftpflichtversicherung Joachim Kuwert / Libro Tapa blanda
common.buy 52.49 €
Frost Thomas Bernhard / Libro Tapa blanda
common.buy 12.49 €
Weibliche Autonomie: Handeln im demokratischen Rechtsstaat Vinicius Da Silva / Libro Tapa blanda
common.buy 57.19 €
Versuch einer neuen Theorie des menschlichen Vorstellungsvermögens. Teilband 2. Tl.2 Karl L. Reinhold / Libro Tapa dura
common.buy 72.39 €
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Libro Tapa blanda
common.buy 41.59 €
Mein Mathe-Lernheft - Sachrechnen und Größen Jan Boesten / Libro Hoja
common.buy 3.99 €
Gesänge der Liebe Hans-Peter Kolb / Libro Tapa dura
common.buy 25.69 €
Ethisches Argumentieren Katharina Klöcker / Libro Tapa blanda
common.buy 49.49 €
Some Girls do Jennifer Dugan / Libro Tapa blanda
common.buy 16.99 €
MIRADAS CLAVERO / Libro Libro
common.buy 21.19 €
Innovation collaborative BOUCHEZ / Libro Tapa blanda
common.buy 36.69 €
Les derniers jours de la gauche Barbier / Libro Tapa blanda
common.buy 24.09 €
Survival - In den Krallen des Leguans Stefani Kampmann / Libro Tapa dura
common.buy 10.39 €
Subtile Signale in Texten Jens Korbus / Libro Tapa blanda
common.buy 12.49 €
Das Problem Einer Internationalen Orthographie-Reform (1901) Th Sprater / Libro Tapa blanda
common.buy 21.99 €
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 / Libro Tapa blanda
common.buy 9.79 €
Česko dětem 2 / Artículos impresos Mapa
common.buy 3.79 €
Ako sa Ela naučila vidieť neviditeľné Zuzana Líšková / Libro Tapa dura
common.buy 7.59 €
Die wahre Geschichte von McDonald's Ray Kroc / Libro Tapa blanda
common.buy 15.09 €
Tentateur LaCroix-J / Libro Tapa blanda
common.buy 28.19 €
Mundwerk Thomas Godoj / Audio CD de audio
common.buy 12.69 €
Landschaften Der Erinnerung Elke Mehnert / Libro Tapa blanda
common.buy 103.79 €
Mirabilia CONRAD ROSET / Libro Tapa blanda
common.buy 21.95 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Verified Software: Theories, Tools, Experiments
Autor Natarajan Shankar, Jim Woodcock
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2008
Número de páginas 263
EAN 9783540878728
ISBN 3540878726
Código Libristo 01570696
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 427
Dimensiones 155 x 235 x 16

Categorías

Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Modular Specification and Verification of Object-Oriented Programs Peter Müller / Libro Tapa blanda
common.buy 51.09 €
The Angel Children Linda Emmanuel / Libro Tapa blanda
common.buy 13.59 €
Twice Bought Robert Michael Ballantyne / Libro Tapa blanda
common.buy 21.59 €
Spoiler Alert! Steven Espinoza / Libro Tapa blanda
common.buy 31.39 €
Popular
Becoming Myself Irvin D. Yalom / Libro Tapa blanda
common.buy 16.49 €
Alexander the Great W B Godbey / Libro Tapa blanda
common.buy 7.49 €
Unfold Your Mat, Unfold Yourself Anne M Samit / Libro Tapa blanda
common.buy 17.39 €
In Art: Chairs Deirdre K Fuller / Libro Tapa blanda
common.buy 11.59 €
C.O.W.: Creatures of War Thomax Green / Libro Tapa blanda
common.buy 13.49 €
Popular
Oral History of the Palestinian Nakba Nahla Abdo / Libro Tapa blanda
common.buy 41.69 €
Way to Do a Thing Is to Do It CARL WELLS / Libro Tapa blanda
common.buy 21.99 €
Promise and Peril Will R. Jordan / Libro Tapa blanda
common.buy 28.79 €
How to Do Homework Without Throwing Up Trevor Romain / Libro Tapa blanda
common.buy 10.59 €
Analysis of Educational Challenges in the New South Africa Zandile P. Nkabinde / Libro Tapa blanda
common.buy 46.79 €
Key Words in Islam: Ron Geaves / Libro Tapa blanda
common.buy 24.29 €
Laws of Love Patricia Cohen / Libro Tapa blanda
common.buy 33.49 €
Moonwalking with Einstein Joshua Foer / Libro electrónico Adobe ePub DRM
common.buy 17.39 €
KOREAN GRAMMAR CANVAS - WORKBOOK for BEGINNERS 2 Miss Vicky / Libro Tapa blanda
common.buy 20.99 €
Travel Ruminations Robert Hauptman / Libro electrónico Adobe ePub DRM
common.buy 108.79 €
One-Pagers - from evidence to action: Teaching and learning summaries and workshops for busy education professionals Jamie Clark / Libro Tapa blanda
common.buy 24.09 €
Chemistry of Coal: Knowing the Basics Kailash Malode / Libro Tapa dura
common.buy 217.39 €
Technical Trading Mastery, Second Edition Chris Vermeulen / Libro Tapa blanda
common.buy 16.49 €
Crime Scene Investigation Jacqueline T. (Charleston Southern University Fish / Libro Tapa blanda
common.buy 114.09 €
All the Lives We Never Lived Anuradha Roy / Libro electrónico Adobe ePub DRM
common.buy 8.09 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?