«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: Foundations and Applications

12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods: Foundations and Applications Marcel Vinícius Medeiros Oliveira
Código Libristo: 01655091
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noviembre 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Descripción completa
? points 138 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

La hija del Ganges Raluca Mirela Petrescu / Libro electrónico Adobe ePub DRM
common.buy 9.29 €
Dokumenty k dějinám ruské a ukrajinské emigrace v Československé republice (1918 - 1939) Ljubov Běloševská / Libro Tapa blanda
common.buy 6.09 €
Próximamente
Comme un mendiant sur les quais de marbre Penblanc / Libro Tapa blanda
common.buy 24.19 €
Přerušený klid - Islandská krimi Arnaldur Indridason / Libro Tapa dura
common.buy 12.99 €
Le système fiscal international : une construction conceptuelle et pragmatique Giard / Libro Tapa blanda
common.buy 44.79 €
Courir David Simpson / Libro Tapa dura
common.buy 28.19 €
NoElle et Lui Alban Bourdy / Libro Tapa blanda
common.buy 11.99 €
Analiza PESTLE Alina Dobre / Libro Tapa blanda
common.buy 14.99 €
Das fröhliche Weihnachtsliederheft Renate Bruce-Weber / Artículos impresos Partituras
common.buy 15.09 €
Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell / Libro Tapa blanda
common.buy 17.89 €
Differentialgeometrie, Topologie und Physik Matthias Delbrück / Libro Tapa dura
common.buy 87.09 €
Atrapados: Cómo Liberarse de Conductas Y Personas Tóxicas Andy Farmer / Libro Tapa blanda
common.buy 11.59 €
Hemisferios / Libro Libro
common.buy 7.59 €
Todo recto hasta el amanecer. Un giro inesperado Liz Braswell / Libro Tapa blanda
common.buy 16.99 €
Conoce Peru Robin Johnson / Libro Tapa dura
common.buy 30.20 €
Pierre des fées du Maroc / Libro binding.
common.buy 10.79 €
Le Massif Du Mont Blanc (1876) Eugene Emmanuel Viollet-Le-Duc / Libro Tapa blanda
common.buy 34.69 €

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.§The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.

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: Foundations and Applications
Autor Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2009
Número de páginas 351
EAN 9783642104510
ISBN 3642104517
Código Libristo 01655091
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 557
Dimensiones 155 x 235 x 20

Categorías

Computación e informática > Ciencias de la computación > Interacción persona-ordenador > Arquitectura de la información
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 > Sistemas operativos
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

Jennifer Lopez Mary Hertz Scarbrough / Libro Tapa dura
common.buy 33.29 €
A Dissertation on the Philosophy of Aristotle in Four Books Thomas Taylor / Libro Tapa blanda
common.buy 48.79 €
Pedagogies for the Post-Anthropocene Esther Priyadharshini / Libro Tapa dura
common.buy 124.09 €
Book of Hours: The Beguilement of Brother Alphaios J S Anderson / Libro Tapa blanda
common.buy 16.79 €
Taylor's STEM Adventures: Hawaii Mary Payton / Libro Tapa dura
common.buy 18.89 €
Darker Shades Victor I. Stoichita / Libro Tapa dura
common.buy 51.09 €
Popular
Fun Card English: Countable and Uncountable Nouns Paweł Dwornik / Artículos impresos Tarjetas
common.buy 7.99 €
The Witch and the Jaguar Terry Spear / Libro Tapa blanda
common.buy 9.09 €
Adventures with Annie Coloring Book Misty Marksberry Merideth / Libro Tapa blanda
common.buy 8.09 €
First Poems Wildie Thayer / Libro Tapa blanda
common.buy 26.59 €
REACHING THE PROMISED LAND Nigel Shaw / Libro Tapa blanda
common.buy 15.69 €
A General View of Positivism Auguste Comte / Libro Tapa blanda
common.buy 30.19 €
Discovery of the South Shetland Islands / The Voyage of the Brig Williams, 1819-1820 and The Journal of Midshipman C.W. Poynter R.J. Campbell / Libro Tapa blanda
common.buy 59.39 €
Complete Verse Hilaire Belloc / Libro electrónico Adobe ePub DRM
common.buy 15.10 €
Always Together Megan Cowan / Libro electrónico Adobe ePub DRM
common.buy 4.89 €
Ethics of Research with Human Subjects David B. Resnik / Libro electrónico Adobe ePub DRM
common.buy 155.25 €
Coercive Brain-Reading in Criminal Justice Sjors Ligthart / Libro electrónico Adobe ePub DRM
common.buy 130.44 €
Popular
Change Your Diet, Change Your Mind: A Food-First Plan to Optimize Your Mental Health EDE GEORGIA / Libro Tapa dura
common.buy 26.89 €
Microserfs & Girlfriend in a Coma Douglas Coupland / Audiolibro MP3
common.buy 12.49 €
Eleanor Roosevelt Peg A Lamphier / Libro Tapa blanda
common.buy 34.39 €
Stock Market Trivia Fred Fuld III / Libro Tapa blanda
common.buy 20.59 €
Generalist Case Management Workbook Marianne Woodside / Libro Tapa blanda
common.buy 86.93 €
Play and Learning in Early Childhood Settings Ingrid Pramling Samuelsson / Libro Tapa blanda
common.buy 112.89 €
ValueSelling Julie Thomas / Libro Tapa blanda
common.buy 18.59 €

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?