Formal methods fun first (10 resultados)

Idioma: Inglés
Editorial: Springer, 2021
Serie: Communications in Computer and Information Science, Libro 31 de 78. Libro 31 de 78 - Communications in Computer and Information Science
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,72
Envío por EUR 13,90Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.

Idioma: Inglés
Editorial: Springer 2021-03-11, 2021
Serie: Communications in Computer and Information Science, Libro 31 de 78. Libro 31 de 78 - Communications in Computer and Information Science
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,90
Envío por EUR 17,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New.

Idioma: Inglés
Editorial: Springer, 2021
Serie: Communications in Computer and Information Science, Libro 31 de 78. Libro 31 de 78 - Communications in Computer and Information Science
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 78,54
Envío por EUR 3,49Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.

Idioma: Inglés
Editorial: Springer Nature, 2021
Serie: Communications in Computer and Information Science, Libro 31 de 78. Libro 31 de 78 - Communications in Computer and Information Science
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 79,05
Envío por EUR 11,61Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 236 pages. 9.25x6.10x0.51 inches. In Stock.

Idioma: Inglés
Editorial: Springer, 2021
Serie: Communications in Computer and Information Science, Libro 31 de 78. Libro 31 de 78 - Communications in Computer and Information Science
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,39
Envío por EUR 61,86Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods - Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in…this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.
Más imágenesIdioma: Inglés
Editorial: Springer, 2021
Serie: Communications in Computer and Information Science, Libro 31 de 78. Libro 31 de 78 - Communications in Computer and Information Science
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,35
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Formal Methods - Fun for Everybody | First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers | Antonio Cerone (u. a.) | Taschenbuch | Communications in Computer and Information Science | ix | Englisch | 2021 | Springer | EAN 9783030713737 | Verantwortlich…e Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Idioma: Inglés
Editorial: Palgrave Macmillan, 2021
Serie: Communications in Computer and Information Science, Libro 31 de 78. Libro 31 de 78 - Communications in Computer and Information Science
- Tapa blanda
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 49,64
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods ¿ Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers prese…nted in this volume were carefully reviewed and selected from 15 submissions. A white paper and two keynote papers are also included. The papers explore ways of utilizing the pathway to transforming and spreading formal methods. The vision of this workshop series is that formal methods ought to be taught in such a way that every student can have fun with it.

Idioma: Inglés
Editorial: Springer, 2021
Serie: Communications in Computer and Information Science, Libro 31 de 78. Libro 31 de 78 - Communications in Computer and Information Science
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 254,63
Envío por EUR 29,02Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: New. New. book.

Idioma: Inglés
Editorial: Springer, 2021
Serie: Communications in Computer and Information Science, Libro 31 de 78. Libro 31 de 78 - Communications in Computer and Information Science
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 79,04
Envío por EUR 7,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand.

Idioma: Inglés
Editorial: Springer, 2021
Serie: Communications in Computer and Information Science, Libro 31 de 78. Libro 31 de 78 - Communications in Computer and Information Science
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 78,79
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND.