«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

15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods: Foundations and Applications Rohit Gheyi
Código Libristo: 01662107
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2012
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SB... Descripción completa
? points 127 b
52.09 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Handbuch Der Ziehtechnik Walter Sellin / Libro Tapa blanda
common.buy 58.09 €
Sindicatos, trade-unions y corporaciones Georges Renard / Libro Tapa blanda
common.buy 32.39 €
Der Vertrag von Lissabon Waldemar Hummer / Libro Tapa blanda
common.buy 112.19 €
Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner / Libro Tapa blanda
common.buy 100.99 €
Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková / Libro Tapa blanda
common.buy 16.89 €
Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer / Libro Tapa blanda
common.buy 112.09 €
guerre de 1870, memoires. 8e edition Helmuth von Moltke / Libro Tapa blanda
common.buy 34.29 €
A Química Da Memória: Por Que OS Humanos N?o Devem Comer Carne Carlos L. Partidas / Libro Tapa blanda
common.buy 15.39 €
Kartenspiel: Kommt gut - Das Kartenspiel für mehr Oohs und Aahs Jüne Plã / Juego/Juguete Juego
common.buy 23.49 €
Petrolejové lampy Jaroslav Havlíček / Libro Tapa blanda
common.buy 5.19 €
Datenvisualisierung boolescher Anfragen Dianqiang Yang / Libro Tapa blanda
common.buy 52.99 €

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

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 Rohit Gheyi, David Naumann
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 227
EAN 9783642332951
ISBN 3642332951
Código Libristo 01662107
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 373
Dimensiones 155 x 235 x 14

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 > Hardware (o soporte físico del ordenador) > Mantenimiento y reparació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
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

Hard Bop David H. Rosenthal / Libro Tapa blanda
common.buy 21.69 €
BERSERK OF GLUTTONY V10 V10 / Libro Tapa blanda
common.buy 13.89 €
The Holy Bible Translated From The Latin Vulgate ... The Old Testament First Published By The English College At Douay ... The New Testament At Rheims Anonymous / Libro Tapa dura
common.buy 52.39 €
Pollyanna Eleanor H Porter / Libro Tapa blanda
common.buy 10.29 €
Social Communication in Advertising Leiss / Libro Tapa blanda
common.buy 82.89 €
An Oration Delivered Before the Literary Association, on Monday, the Fourth of July, 1836. William B Maclay / Libro Tapa blanda
common.buy 12.49 €
Fractions, Decimals and Percentages Book 4 (Year 4, Ages 8-9) Schofield & Sims / Libro Tapa blanda
common.buy 7.09 €
Essential Nursing Care for Children and Young People Chris Thurston / Libro Tapa dura
common.buy 250.59 €
What You Think ADD/ADHD Is, It Isn't Barbara C. Fisher / Libro Tapa dura
common.buy 75.49 €
Freshwater Fishing Tips and Techniques Gene Kugach / Libro Tapa blanda
common.buy 17.89 €
Aesthetics and the Theory of Criticism Arnold Isenberg / Libro Tapa blanda
common.buy 44.69 €
Contact with Chaos Michael Z Williamson / Libro Tapa dura
common.buy 24.09 €
Journeying Wave Richmal Crompton / Libro Tapa dura
common.buy 25.09 €
Piano Exam Pieces 2015 & 2016, Grade 5 / Libro Tapa dura
common.buy 19.09 €
Intercultural Issues in Online Communication Verena Wiedmaier / Libro Tapa blanda
common.buy 57.09 €
People's Platform Astra Taylor / Libro Tapa blanda
common.buy 16.29 €
Logic for Concurrency and Synchronisation R.J. De Queiroz / Libro Tapa blanda
common.buy 112.79 €
Planning After Petroleum Jago Dodson / Libro Tapa dura
common.buy 250.59 €
Event of Death: a Phenomenological Enquiry I. Leman-Stefanovic / Libro Tapa blanda
common.buy 169.09 €
Italian Renaissance in the German Historical Imagination, 1860-1930 Dr. Martin A. Ruehl / Libro Tapa dura
common.buy 106.89 €
Dark Ages and the Age of Gold Russell A. Fraser / Libro Tapa dura
common.buy 174.39 €
American History: A Very Short Introduction Paul S Boyer / Libro Tapa blanda
common.buy 11.19 €
Ballad And The Source Rosamond Lehmann / Libro Tapa blanda
common.buy 33.09 €
Interfacing PIC Microcontrollers Martin Bates / Libro Tapa blanda
common.buy 58.49 €

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?