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

Formal Methods: Applications and Technology

11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Sel

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods: Applications and Technology Lubos Brim
Código Libristo: 01568175
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febrero 2007
This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Bourvil Mareska / Libro Tapa blanda
common.buy 24.09 €
Le Sortilège de Stellata Daniela Raimondi / Libro Tapa blanda
common.buy 25.39 €
¿Puedo mirar tu chupete? Guido van Genechten / Libro Tapa dura
common.buy 14.69 €
Der Einarmige, sein Alligator und die sonnigen Seiten des Lebens Ken Pisani / Libro electrónico Adobe ePub DRM
common.buy 12.29 €
Rozdělení Československa 1989-1992 Jan Rychlík / Libro Tapa dura
common.buy 25.19 €
Direkt plus 3B. Podręcznik praca zbiorowa / Libro Tapa blanda
common.buy 11.69 €
Correspondance de Champ Libre T. 1 collegium / Libro Tapa blanda
common.buy 14.99 €
Zápisník s gumičkou A4 210x290 mm africké masky / Libro binding.
common.buy 9.89 €
Ontologie und Dialektik Theodor W. Adorno / Libro Tapa blanda
common.buy 24.29 €
Lieder von Jochen Klepper (1903 - 1942) im Stammteil des Evangelischen Gesangbuchs Vitali Pritzkau / Libro Tapa blanda
common.buy 29.69 €
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Libro Tapa blanda
common.buy 18.89 €
Terra magica Ostsee-Kreuzfahrt Christian Prager / Libro Tapa dura
common.buy 20.99 €
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Libro Tapa dura
common.buy 8.99 €
Blut und Feuer Michael Gratzke / Libro Tapa blanda
common.buy 32.39 €
Die Filmdeutung als Weg zum Selbst Otto Teischel / Libro Tapa dura
common.buy 62.89 €
Flussschiffbau Wilhelm Teubert / Libro Tapa blanda
common.buy 96.29 €
Reliéfní pasta 3D IZINK - geranium, růžová, 80 ml / Artículos de papelería Artículos de papelería
common.buy 6.19 €
In Auschwitz Sima Vaisman / Libro Tapa dura
common.buy 18.89 €
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Libro Tapa blanda
common.buy 80.59 €
Capilla de San Roque y Su Viejo Hospital de San Roque y La Asuncion Nancy Elizabeth Juncos / Libro Tapa blanda
common.buy 38.49 €
Al-Andalus : magia y seducción culinarias Inés Eléxpuru Eeckman / Libro Tapa blanda
common.buy 14.89 €
Plíseň Siri Pettersenová / Libro Tapa dura
common.buy 12.99 €
Die blinden Flecken der RAF Wolfgang Kraushaar / Libro Tapa dura
common.buy 23.49 €
Niebla Miguel De Unamuno / Libro Tapa blanda
common.buy 14.49 €

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

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 Formal Methods: Applications and Technology
Autor Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2007
Número de páginas 366
EAN 9783540709510
ISBN 3540709517
Código Libristo 01568175
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 575
Dimensiones 155 x 235 x 22

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
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 > Análisis y diseño de sistemas
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

Enterprise Architecture Martin Op't Land / Libro Tapa blanda
common.buy 63.19 €
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / Libro Tapa dura
common.buy 1 443.39 €
How to Change Everything: The Young Human's Guide to Protecting the Planet and Each Other Rebecca Stefoff / Libro Tapa dura
common.buy 15.79 €
World of Sources II Michael J Hillyard / Libro Tapa blanda
common.buy 16.49 €
How to Have a Stress Free Mortgage Linda Fleischmann / Libro Tapa blanda
common.buy 11.19 €
Common Characteristics and Unique Qualities in Preschool Programs Sue C Wortham / Libro Tapa blanda
common.buy 112.79 €
DIE INSZENIERUNG DER ALLTAGSWELT WERNER DURTH / Libro Tapa blanda
common.buy 33.29 €
Advertising and Race Linda C. L. Fu / Libro Tapa blanda
common.buy 51.29 €
International Abstracts of Surgery, Volume 27 Anonymous / Libro Tapa dura
common.buy 41.59 €
Guilford Guilford Keeping Society / Libro Tapa blanda
common.buy 21.89 €
Competing Visions of India in World Politics K. Sullivan / Libro Tapa blanda
common.buy 108.09 €
Glitch Laura Martin / Libro Tapa blanda
common.buy 8.89 €
Greening the Grey William D. Dar / Libro Tapa blanda
common.buy 19.09 €
International Comparisons of Energy Consumption Joy Dunkerley / Libro Tapa blanda
common.buy 59.39 €
Nature and Essence of Economic Theory Joseph A. Schumpeter / Libro Tapa blanda
common.buy 65.89 €
Quiet Desperation, Savage Delight: Sheltering with Thoreau in the Age of Crisis David Gessner / Libro Tapa blanda
common.buy 16.49 €
Scottish Law of Conveyancing: Heritable Rights. John Craigie / Libro Tapa blanda
common.buy 24.89 €
Courts-Martial Amendments to Articles of War. Hearing Before a Special Subcommittee of the Committee on Military Affairs House of Representatives Sixt E H Crowder / Libro Tapa blanda
common.buy 13.29 €
Four Sons Of Norway Helen Acker / Libro Tapa blanda
common.buy 29.89 €
Buying Multi Family Homes for Investment with Homes for sale in Texas Shawn Mahoney / Libro Tapa blanda
common.buy 11.89 €
Official History of Australia in the War of 1914-1918 C. E. W. BEAN / Libro Tapa blanda
common.buy 74.39 €
Madison Lexy Timms / Libro Tapa blanda
common.buy 10.69 €
Modern China Studies: Comtemporary Chinese Visual Culture and Cultural Translation Paul Gladston / Libro Tapa blanda
common.buy 19.19 €
Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille / Libro Tapa blanda
common.buy 39.69 €

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?