«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

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods: Foundations and Applications Leila Ribeiro
Código Libristo: 15195023
Editores Springer International Publishing AG, noviembre 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... 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

SPA-RIGBY PM COLECCION Rigby / Libro Tapa dura
common.buy 84.89 €
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Libro Tapa blanda
common.buy 14.19 €
Leber und Galle entgiften und stärken Angela Fetzner / Libro Tapa dura
common.buy 21.89 €
Objavujeme svet! RODINA neuvedený autor / Libro Libro de concertinas
common.buy 7.99 €
Eduard und Elisabeth bei den Megamikren: oder Die Reise in das Innere unseres Erdballs Giacomo Casanova / Libro Tapa blanda
common.buy 24.69 €
Der Brotdoc: Heimatbrote Julia Ruby Hildebrand / Libro Tapa dura
common.buy 28.69 €
LAS LIMITACIONES DE LOS PODERES EM CABEZA PEREIRO / Libro Libro
common.buy 16.79 €
Influencia del Señor Buda en Rabindranath Tagore / Libro Tapa blanda
common.buy 55.09 €
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Libro Tapa blanda
common.buy 15.89 €
Antony Alexandre Dumas / Libro Tapa blanda
common.buy 7.19 €
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Libro Tapa blanda
common.buy 18.09 €
Noc dlouhých nožů Roman Cílek / Libro Tapa blanda
common.buy 6.09 €
Paul Lincke Jan Kutscher / Libro Tapa dura
common.buy 44.49 €
Excel 2013 en profundidad María Pérez Marques / Libro Tapa blanda
common.buy 39.49 €
Equidad y políticas públicas en educación y formación básicas : estudio de casos en América Latina, África Subsahariana y Magreb VELEZ DE MEDRANO / Libro Tapa blanda
common.buy 22.79 €
Der Qualit tswettbewerb Im Marktwirtschaftlichen System Friedrich Karl Flick / Libro Tapa blanda
common.buy 58.09 €

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

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 Leila Ribeiro, Thierry Lecomte
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2016
Número de páginas 253
EAN 9783319498140
ISBN 3319498142
Código Libristo 15195023
Editores Springer International Publishing AG
Peso 4044
Dimensiones 155 x 235 x 16

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 > Aplicaciones gráficas y multimedia > Gráficos y modelado en 3D
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

Popular
Oxford Bookworms Library: Level 4:: Little Women Louisa May Alcott / Libro Tapa blanda
common.buy 10.39 €
Managing 3rd Party Risk: A Comprehensive Guide to Managing the Risk of Your Vendors, Customers, Partners or Employees Dominic Suszek / Libro Tapa blanda
common.buy 48.09 €
Ostentation Pamelia Barratt / Libro Tapa blanda
common.buy 15.39 €
Jute, Jam & Jessie Jordan ANDREW DAVID DOYLE / Libro Tapa blanda
common.buy 12.69 €
Urfspace Chuck Whelon / Libro Tapa blanda
common.buy 25.99 €
Próximamente
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Libro Tapa blanda
common.buy 22.69 €
German Steamship Pellworm and Other Ships - High Court of Justice Lord Sterndale / Libro Tapa blanda
common.buy 20.29 €
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Libro Tapa dura
common.buy 37.69 €
THE RAINBOW FEATHER FERGUS HUME / Libro Tapa dura
common.buy 34.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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?