«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: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Verified Software: Theorie, Tools, Experiments Ernie Cohen
Código Libristo: 02433185
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, enero 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

SoC-basierte Erprobungsplattform fur CCD-Kameras mit Channel Link IF Ramin Jeyrani-Mameghani / Libro Tapa blanda
common.buy 52.99 €
Consequencias clinicas da transmissao vertical de sifilis Claudio Quinan Balestrin Neto / Libro Tapa blanda
common.buy 32.59 €
Los musicatos: Y la caja de música ISABEL ASENSI LIDON / Libro Tapa blanda
common.buy 13.69 €
Une touche de bleu - Tome 04 Nozomi Suzuki / Libro Tapa blanda
common.buy 11.79 €
The Assent Unterwirf dich der Dunkelheit, 1 Blu-ray Pearry Reginald Teo / Video Blu-ray
common.buy 18.19 €
Auswanderung der protestantisch gesinnten Salzburger in den Jahren 1731 und 1732 Ludwig Clarus / Libro Tapa blanda
common.buy 39.39 €
Dance & love. La mia musica, la mia vita Gabry Ponte / Libro Tapa dura
common.buy 21.69 €
Power Query w Excelu i Power BI. Zbieranie i przekształcanie danych Daniil Maslyuk / Libro Tapa blanda
common.buy 24.59 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.

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: Theorie, Tools, Experiments
Autor Ernie Cohen, Andrey Rybalchenko
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2014
Número de páginas 345
EAN 9783642541070
ISBN 3642541070
Código Libristo 02433185
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 5504
Dimensiones 155 x 235 x 20

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
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

New Initiatives On Lepton Flavor Violation And Neutrino Oscillation With High Intense Muon And Neutrino Sources William R Molzon / Libro Tapa dura
common.buy 149.29 €
The Palgrave Handbook of Experimental Cinema Jonathan Walley / Libro Tapa blanda
common.buy 116.19 €
On Legitimacy in Global Governance Soren Hilbrich / Libro Tapa blanda
common.buy 127.69 €
HBR's 10 Must Reads on Strategy (including featured article &quote;What Is Strategy?&quote; by Michael E. Porter) Harvard Business Review / Libro electrónico Adobe ePub DRM
common.buy 30.39 €
Jane Austen: What Is Right To Be Done Memo Cube Insight Editions / Libro Tapa blanda
common.buy 15.89 €
Wytch Wars Sharon Anne Guthrie / Libro Tapa blanda
common.buy 10.69 €
Belinda Maria Edgeworth / Libro Tapa blanda
common.buy 11.89 €
WHERE I NEED TO BE Kimberly Knight / Libro Tapa blanda
common.buy 15.39 €
The Turtle Ship Helena Ku Rhee / Libro Tapa dura
common.buy 20.39 €
Próximamente
Living in Provence René Stoeltie / Libro Tapa dura
common.buy 23.09 €
What's my name? NEO Tiina Walsh / Libro Tapa blanda
common.buy 15.39 €
Learn from Me Fr Con Buckley / Libro Tapa blanda
common.buy 30.59 €
Live Successfully! Book No. 7 - How to Make Friends and be Persuasive Anon / Libro Tapa blanda
common.buy 15.49 €
Popular
Kcd Boulet/Animal Spirit Susan Seddon Boulet / Artículos impresos Tarjetas
common.buy 12.39 €
Time-Frequency Analysis and Synthesis of Linear Signal Spaces Franz Hlawatsch / Libro Tapa blanda
common.buy 169.09 €
Religion and State in the American Jewish Experience Jonathan D. Sarna / Libro Tapa dura
common.buy 146.99 €
Heirs of Salvation Gloria Laura Lavoie / Libro Tapa blanda
common.buy 13.79 €
Gentry Leaders In Peace And War Mary Wolffe / Libro Tapa dura
common.buy 129.79 €
Cincinnati Day Trips Jennifer Renee Reed / Libro Tapa blanda
common.buy 20.49 €
Rome Franco Archibugi / Libro Tapa blanda
common.buy 69.19 €
Look Back with Longing Suzanne Morris / Libro Tapa blanda
common.buy 21.19 €
Young Ladies Conduct John. Essex / Libro Tapa blanda
common.buy 23.79 €
Kingdoms & the Elves of the Reaches (Keeper Martin's Tales, Book 1) Robert Stanek / Libro Tapa blanda
common.buy 15.19 €

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