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

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Integrated Formal Methods Erika Ábrahám
Código Libristo: 02975401
Editores Springer International Publishing AG, mayo 2016
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo... Descripción completa
? points 221 b
90.29 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Libro Tapa blanda
common.buy 13.99 €
Entre chiens et loups Méndez / Libro Tapa blanda
common.buy 18.29 €
Nuevo
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Libro Tapa blanda
common.buy 30.09 €
Uebersetzung von deutschen zusammengesetzten Adjektiven ins Polnische anhand der Romane von Elfriede Jelinek Badstubner-Kizik Camilla Badstubner-Kizik / Libro electrónico Adobe ePub DRM
common.buy 69.19 €
Atrás Da Muralha / Libro Tapa blanda
common.buy 15.39 €
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / Libro electrónico Adobe ePub DRM
common.buy 17.39 €
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Libro Tapa blanda
common.buy 27.69 €
lettera che cade. Jacques Lacan e l'uomo come scarto Bruno Moroncini / Libro Tapa blanda
common.buy 28.69 €
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Libro Tapa dura
common.buy 22.49 €
Du matériau à l'architecture László Moholy-Nagy / Libro Tapa blanda
common.buy 39.29 €
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Libro Tapa blanda
common.buy 168.59 €
AMETS POLITAK IZAN, MAITEA AA VV / Libro Tapa dura
common.buy 9.79 €
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Libro Tapa blanda
common.buy 14.99 €
Bettine von Arnim: Liedkompositionen Paul A Koch / Libro Tapa blanda
common.buy 15.59 €

This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.§The 33 papers§presented in this volume were carefully reviewed and selected from 99§submissions. They were organized in topical sections named: invited§contributions; program verification; probabilistic systems; concurrency; safety§and liveness; model learning; SAT and SMT solving; testing; theorem proving and§constraint satisfaction; case studies.§

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 Integrated Formal Methods
Autor Erika Ábrahám, Marieke Huisman
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2016
Número de páginas 538
EAN 9783319336923
ISBN 3319336924
Código Libristo 02975401
Editores Springer International Publishing AG
Peso 8248
Dimensiones 155 x 235 x 29

Categorías

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

Advances in Discrete Applied Mathematics and Graph Theory Janez Zerovnik / Libro Tapa dura
common.buy 59.19 €
Inhuman Relations Scott Becker / Libro Tapa blanda
common.buy 20.09 €
Championship DNA Gideon Mulinge Mwololo / Libro Tapa blanda
common.buy 20.09 €
Return to Social Justice Jessica Urwin / Libro Tapa blanda
common.buy 133.59 €
A Soldier's Daughter (Illustrated) G. A. Henty / Libro Tapa blanda
common.buy 6.99 €
History of the Fishes of the British Islands Jonathan Couch / Libro Tapa blanda
common.buy 25.69 €
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Libro Tapa blanda
common.buy 36.89 €
Submissionary Sherryle Kiser Jackson / Libro Tapa blanda
common.buy 15.39 €
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Libro Tapa dura
common.buy 33.69 €
Preparing for Blockade 1885-1914 COBB / Libro Tapa blanda
common.buy 85.09 €
Gerrit Smith Octavius Brooks Frothingham / Libro Tapa dura
common.buy 65.59 €
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Libro Tapa blanda
common.buy 17.09 €
Information Processing in Medical Imaging Alan C. F. Colchester / Libro Tapa blanda
common.buy 112.79 €
Jack Wilshere - Arsenal DNA Joe Jacobs / Libro Tapa dura
common.buy 16.09 €
Global Legal Pluralism Paul Schiff Berman / Libro Tapa blanda
common.buy 72.49 €
Housekeepers Handy Book Lucia Baxter / Libro Tapa blanda
common.buy 19.89 €
International Law Reports E. LauterpachtC. J. Greenwood / Libro Tapa dura
common.buy 236.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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?