«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. FM 2019 International Workshops

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods. FM 2019 International Workshops José Campos
Código Libristo: 33072031
Editores Springer Nature Switzerland AG, agosto 2020
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposiu... 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

Próximamente
Physique-Chimie MPSI - Programme 2021 Finot / Libro Tapa blanda
common.buy 58.79 €
El bebe del Principe Mckenna James / Libro electrónico Adobe ePub DRM
common.buy 4.19 €
Concours Summer Love - La lagune / Libro Tapa blanda
common.buy 24.99 €
Ulysse Alexandra PICHARD / Libro Tapa dura
common.buy 22.09 €
Emadepäev Nele Neuhaus / Libro Tapa blanda
common.buy 66.79 €
COURTE VALSE INDISCIPLINÉE DES DIX...NEUFS L'ATELIER / Libro Tapa blanda
common.buy 13.19 €
GOBERNABILIDAD CRISIS Y CAMBIO-ALCANTARA ALCANTARA SAEZ / Libro Libro
common.buy 11.99 €
Manual de soluciones de laboratorio GABB / Libro Tapa blanda
common.buy 5.59 €
El Andaluz. Der Dialekt und die Schwierigkeiten seiner Anerkennung Anne Lipp / Libro Tapa blanda
common.buy 17.89 €
Die Stellung Des Alexander Von Aphrodisias Zur Aristotelischen Schlusslehre (1907) Georges Volait / Libro Tapa blanda
common.buy 22.99 €
Ausgeliefert Genevi?ve Castrée / Libro Tapa blanda
common.buy 17.79 €
L'Origine Des Animaux, Histoire Du Developpement Primitif, Nouvelle Theorie de l'Evolution Renooz-C / Libro Tapa blanda
common.buy 27.09 €
Die Geschichte der Daniel-Auslegung in Judentum, Christentum und Islam Katharina Bracht / Libro Tapa dura
common.buy 173.49 €
Pudel - 1.000 Teile (Puzzle) / Juego/Juguete Juego
common.buy 33.49 €
Agapornis Dirk van den Abeele / Libro Tapa blanda
common.buy 55.79 €

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.

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. FM 2019 International Workshops
Autor José Campos, Antonio Cerone, Luis Couto, David Delmas, Brijesh Dongol, Marie Farrell, Laure Gonnord, Riccardo Guidotti, Martin Kutrib, Matt Luckcuck, Diego Marmsoler, Pedro Monteiro, Nelma Moreira, Jo
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2020
Número de páginas 575
EAN 9783030549961
ISBN 3030549968
Código Libristo 33072031
Editores Springer Nature Switzerland AG
Peso 902
Dimensiones 155 x 235 x 32

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
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

Explorations in Art and Technology Linda Candy / Libro Tapa dura
common.buy 191.29 €
Le Jardin Secret des Merveilles et Autres Histoires Coledown English / Libro Tapa blanda
common.buy 10.29 €
The Monumental City V2: Its Past History And Present Resources George W. Howard / Libro Tapa blanda
common.buy 39.69 €
Stay Out Of The Kitchen Play Pickleball: 120 Pages I 6x9 I Music Sheet I Funny Pickleball Gifts for Sport Enthusiasts Funny Notebooks / Libro Tapa blanda
common.buy 8.89 €
21 Mistakes Real Estate Brokers Make & How to Avoid Them Corky Hyatt / Libro Tapa dura
common.buy 25.59 €
Restoring the Ancient Paths Revised: Jew and Gentile-Two Destinies, Inexplicably Linked Felix Halpern / Libro Tapa blanda
common.buy 17.19 €
Read Write Inc. Fresh Start: Anthology 2 - Pack of 5 Gill Munton / Libro Tapa blanda
common.buy 111.29 €
Ultrasoft Bible-NABRE-Standard Saint Benedict Press / Libro Tapa dura
common.buy 44.69 €
History of the Temple of Jerusalem Jalal al-Dinh al-SuyutiJames Reynolds / Libro Tapa blanda
common.buy 71.09 €
New Inside Out Elementary Digital Single User Sue Kay / Audio Audio
common.buy 60.39 €

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