«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

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Idioma InglésInglés
Libro Tapa blanda
Libro Integrated Formal Methods Michael Butler
Código Libristo: 01564333
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mayo 2002
This book constitutes the refereed proceedings of the Third International Conference on Integrated F... 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

Walter Petters: Praktische Strafrechtsfalle Mit Loesungen. Teil 1 Walter Petters / Libro Tapa dura
common.buy 119.29 €
Haftung Und Besteuerung Des Vermoegensberaters Werner Klumpe / Libro Tapa blanda
common.buy 58.09 €
Rumanische Marchen Mite Kremnitz / Libro Tapa blanda
common.buy 25.69 €
Özel Tüketim Vergisi Kanunu / Libro Tapa blanda
common.buy 16.49 €
MATÉRIAUX - Mise en forme des métaux - Plasticité, rhéologie, tribologie Felder / Libro Tapa blanda
common.buy 49.79 €
Divan Ahmed Akir Paa / Libro Tapa blanda
common.buy 19.99 €
Das Forvm Romanvm: Seine Geschichte Und Seine Denkmaler (1905) Christian Huelsen / Libro Tapa blanda
common.buy 30.79 €
Ciceron, Correspondance: (Mars 49 - Avril 46 Avant J.-C.) Jean Beaujeu / Libro Tapa blanda
common.buy 61.69 €
Mein Gestern Manfred Jurgensen / Libro Tapa blanda
common.buy 16.79 €
Apokalypse Adrienne von Speyr / Libro Tapa dura
common.buy 43.39 €
Neocortext Vojtěch Němec / Libro Tapa blanda
common.buy 8.09 €
Lettres A M. Le Duc de Blacas d'Aulps Relatives Au Musee Royal Egyptien de Turin, 2eme Lettre CHAMPOLLION-J / Libro Tapa blanda
common.buy 19.09 €

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.

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 Michael Butler, Luigia Petre, Kaisa Sere
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2002
Número de páginas 401
EAN 9783540437031
ISBN 3540437037
Código Libristo 01564333
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1280
Dimensiones 155 x 235 x 23

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial > Aprendizaje automático («Machine learning»)
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

Biotechnology Fundamentals Khan / Libro Tapa blanda
common.buy 100.59 €
Learning Pentaho Data Integration 8 CE - Third Edition Maria Carina Roldan / Libro Tapa blanda
common.buy 58.29 €
Spawn: Origins Deluxe Edition 3 Brian Holguin / Libro Tapa dura
common.buy 78.89 €
Sufism Alexander Knysh / Libro Tapa blanda
common.buy 31.69 €
Frankissstein Jeanette Winterson / Libro Tapa blanda
common.buy 14.29 €
Melchizedek: Unmasked Baal Kadmon / Libro Tapa blanda
common.buy 15.39 €
Aesop's Fables Santore Charles / Libro Tapa dura
common.buy 14.99 €
Barnes' Popular History Of The United States Of America V1 (1904) Joel Dorman Steele / Libro Tapa blanda
common.buy 34.79 €
The Critical Care Pocket Guide Sergio Niosi / Libro Tapa blanda
common.buy 11.19 €
Konohana Kitan, Volume 2 Sakuya Amano / Libro electrónico Adobe ePub DRM
common.buy 8.29 €
Destroyer of the gods Larry W. Hurtado / Libro electrónico Adobe ePub DRM
common.buy 36.79 €
The Last Song of Penelope NORTH CLAIRE / Libro Tapa blanda
common.buy 16.49 €
Tales of Wedding Rings, Vol. 15 Andrew Cunningham / Libro Tapa blanda
common.buy 12.69 €
Crazy Sexy Diet Kris Carr / Libro Tapa blanda
common.buy 24.49 €
Essential David Bohm Lee Nichol / Libro Tapa blanda
common.buy 61.59 €
Collected Short Stories Aldous Huxley / Libro Tapa blanda
common.buy 22.89 €
Political Thought and the Public Sphere in Tanzania Emma Hunter / Libro Tapa dura
common.buy 131.79 €
Pandora's Box Trilogy Adam Teachout / Libro Tapa blanda
common.buy 19.99 €
Anti-Money Laundering: What You Need to Know (Jersey fiduciary edition): A concise guide to anti-money laundering and countering the financin Susan Grossey / Libro Tapa blanda
common.buy 8.59 €
Dark Magic Christine Feehan / Libro Tapa blanda
common.buy 13.79 €

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