«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 5.49 € Mensajería GLS 8.49 € Mensajería Correos 5.99 € Mensajería DHL 5.99 € Punto SEUR 4.49 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Formal Methods: Foundations and Applications

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods: Foundations and Applications Adenilso Simao
Código Libristo: 01659166
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp... Descripción completa
? points 165 b
67.59 €
Almacenamiento externo Envío en 14-21 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Die Polysaccharide Hans Pringsheim / Libro Tapa blanda
common.buy 84.39 €
SUZUME OFFICIAL VISUAL GUIDE (ARTBOOK VO JAPONAIS) Makoto Shinkai / Libro Tapa blanda
common.buy 34.59 €
Jak napsat dobrý scénář Syd Field / Libro Tapa dura
common.buy 13.89 €
En plein cœur de la vie, histoire de civils Bierce / Libro Libro
common.buy 12.19 €
2019 ELECCIO GOURMAND. GUIA DE RESTAURANTS I HOTELS DE CATA LLOVELL / Libro Tapa blanda
common.buy 26.49 €
LA MALDICIóN DE JACINTA PICHIMAHUIDA PUENZO / Libro Tapa blanda
common.buy 16.99 €
Монстр продаж. Как чертовски хорошо продавать и богатеть И. Рызов / Libro Tapa blanda
common.buy 22.19 €
PONS Der große Sprachkurs Englisch / Libro Tapa blanda
common.buy 17.89 €
Miasto gangow. Ukryte swiaty Rio de Janeiro Czeszumski / Audiolibro MP3
common.buy 7.89 €
Suppli 6 Mari Okazaki / Libro Tapa blanda
common.buy 6.49 €
Kameny a hvězdy Václav Cílek / Libro Tapa dura
common.buy 13.39 €
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr Klaus Heinze / Libro Hoja
common.buy 15.69 €
Produktionseigenarten der chemischen Industrie, ihr Einfluß auf Kalkulation und Programmgestaltung. Bernhard Weblus / Libro Tapa blanda
common.buy 51.29 €
Geometry and Differential Geometry Rafael Artzy / Libro Tapa blanda
common.buy 50.89 €
Bedeutung des Tai Chi Chuan fur die Gesundheitspravention Maria Theresia Bitterli / Libro Tapa blanda
common.buy 15.89 €
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Libro Tapa blanda
common.buy 52.19 €
Pilates und Dehnung. Eine symbiotische Verbindung Stephanie Gebauer / Libro Tapa blanda
common.buy 29.69 €
Evaluacion de la eficiencia del riego en sistema Enrollador en Amancio Gonzalez Perez Jorge Alfredo / Libro Tapa blanda
common.buy 156.69 €
Popular
Progetto Italiano 1 Słowniczek + Elementy OOP Telis Marin / Libro Tapa blanda
common.buy 8.59 €
Piensa, es gratis Joaquín Lorente Soler / Libro Tapa blanda
common.buy 19.09 €
El profesor de inglés Wang Gang / Libro Tapa blanda
common.buy 22.39 €
El matrimonio, comunidad de vida y amor Claret Nonell / Libro Tapa blanda
common.buy 34.59 €
LO QUE APRENDÍ HASTA LOS 30 JORGE LORENZO GUERRERO / Libro Tapa blanda
common.buy 7.49 €
Popular
LARGE DOTTED SOFTCOVER NOTEBOOK MYRTLE G Moleskine / Calendario/Diario Diario
common.buy 21.49 €

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 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 Adenilso Simao, Carroll Morgan
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2011
Número de páginas 205
EAN 9783642250316
ISBN 3642250319
Código Libristo 01659166
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 338
Dimensiones 155 x 235 x 15

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

Advanced Methods for Computational Collective Intelligence Geun-Sik Jo / Libro Tapa blanda
common.buy 169.09 €
Mister Rainbow C. S. Boag / Libro Tapa blanda
common.buy 34.59 €
Puzzle Ignacio Gonz Li N / Libro Tapa blanda
common.buy 13.69 €
Absolute Pseudo Truths to the Origins of Life Dr Ima Fukuppe / Libro Tapa dura
common.buy 29.09 €
Popular
Aesops Fables Jerry Pinkney / Libro Tapa dura
common.buy 18.59 €
The Black Madonna Alana Fairchild / Audio CD de audio
common.buy 19.40 €
Valuing Films L. Hubner / Libro Tapa blanda
common.buy 58.19 €
Alice Hugo Vickers / Libro Tapa blanda
common.buy 23.49 €
The World's Fastest Level Up (Manga) Vol. 1 Fame / Libro Tapa blanda
common.buy 14.99 €
Pro Angular Adam Freeman / Libro electrónico Adobe ePub DRM
common.buy 80.59 €
LEGO Star Wars Awesome Vehicles DK / Libro Tapa dura
common.buy 16.99 €
Popular
Unfuck Your Body Harper Phd Lpc-S Acs Acn Faith / Libro Tapa blanda
common.buy 12.99 €
Life Fulfilled: The Ultimate Goal Tawana R Powell / Libro Tapa blanda
common.buy 13.89 €
I Am Bunter: How to Manipulate Your Humans and Keep Them Firmly Under Your Paw Pippin Mole / Libro Tapa blanda
common.buy 13.89 €
RC4 Stream Cipher and Its Variants Goutam Paul / Libro Tapa blanda
common.buy 106.19 €
The Sleep Gas / Libro Tapa blanda
common.buy 20.40 €
Solar Eclipse Daniel Greene / Libro Tapa blanda
common.buy 10.09 €
The North American Review V65 (1847) North American Review Corporation / Libro Tapa blanda
common.buy 44.79 €
The Automobile Green Book Automobile Legal Association / Libro Tapa blanda
common.buy 19.49 €
Bouchon Thomas Keller / Libro Tapa dura
common.buy 48.79 €
Biometric Recognition Wei Jia / Libro Tapa blanda
common.buy 101.59 €
Remembering Revolutionary Women Clara Vlessing / Libro Tapa dura
common.buy 127.89 €
Accessible Assessment and Pedagogies Linda J. Graham / Libro Tapa blanda
common.buy 68.79 €
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Libro Tapa dura
common.buy 364.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?