«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 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

Popular
Dibujos para colorear, ?qué misterio! Peque?as princesas Vv.Aa.3 / Libro Tapa blanda
common.buy 13.50 €
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 21.39 €
The Assent Unterwirf dich der Dunkelheit, 1 Blu-ray Pearry Reginald Teo / Video Blu-ray
common.buy 18.09 €
Kolorowanka. Kraina baśni. Wydanie 2022 Mariola Budek / Libro Tapa blanda
common.buy 4.79 €
Compras en Minutos Anthony Barrios / Libro Tapa blanda
common.buy 7.89 €
Une touche de bleu - Tome 04 Nozomi Suzuki / Libro Tapa blanda
common.buy 11.59 €
Kalangu Obonete S. Ubam / Libro Tapa dura
common.buy 4.09 €
Consequencias clinicas da transmissao vertical de sifilis Claudio Quinan Balestrin Neto / Libro Tapa blanda
common.buy 29.09 €
SoC-basierte Erprobungsplattform fur CCD-Kameras mit Channel Link IF Ramin Jeyrani-Mameghani / Libro Tapa blanda
common.buy 52.99 €
El Castigador: Círculo de Sangre TSUMOTU NIHEI / Libro Tapa blanda
common.buy 23.39 €
Los musicatos: Y la caja de música ISABEL ASENSI LIDON / Libro Tapa blanda
common.buy 12.69 €
Vybrané kapitoly z klinické výživy II. Pavel Kohout / Libro Tapa blanda
common.buy 7.79 €
Mettere in scena l'arte contemporanea. Dallo spazio dell'opera allo spazio intorno all'opera Francesco Bernardelli / Libro Tapa blanda
common.buy 28.99 €
Auswanderung der protestantisch gesinnten Salzburger in den Jahren 1731 und 1732 Ludwig Clarus / Libro Tapa blanda
common.buy 35.29 €

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

The Palgrave Handbook of Experimental Cinema Jonathan Walley / Libro Tapa blanda
common.buy 105.09 €
On Legitimacy in Global Governance Soren Hilbrich / Libro Tapa blanda
common.buy 115.59 €
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.79 €
Jane Austen: What Is Right To Be Done Memo Cube Insight Editions / Libro Tapa blanda
common.buy 15.09 €
Wytch Wars Sharon Anne Guthrie / Libro Tapa blanda
common.buy 10.69 €
Belinda Maria Edgeworth / Libro Tapa blanda
common.buy 11.89 €
Low Carb Good Fat Support Group Edition MR Daniel Vincent / Libro Tapa blanda
common.buy 6.79 €
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 19.89 €
Próximamente
Living in Provence René Stoeltie / Libro Tapa dura
common.buy 20.69 €
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.49 €
Live Successfully! Book No. 7 - How to Make Friends and be Persuasive Anon / Libro Tapa blanda
common.buy 15.49 €
Philosophical Issues in Pharmaceutics Dien Ho / Libro Tapa dura
common.buy 101.79 €
Kcd Boulet/Animal Spirit Susan Seddon Boulet / Artículos impresos Tarjetas
common.buy 12.39 €
Heirs of Salvation Gloria Laura Lavoie / Libro Tapa blanda
common.buy 13.79 €
Time-Frequency Analysis and Synthesis of Linear Signal Spaces Franz Hlawatsch / Libro Tapa blanda
common.buy 152.59 €
Religion and State in the American Jewish Experience Jonathan D. Sarna / Libro Tapa dura
common.buy 112.09 €
Gentry Leaders In Peace And War Mary Wolffe / Libro Tapa dura
common.buy 129.69 €
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 €
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 €

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?