Menu
Află starea comenzii
Contactați-ne
Carte Formal Methods - Fun for Everybody Antonio Cerone

Formal Methods - Fun for Everybody

First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

Autor: Antonio Cerone
Limbă: engleză
Legare: Carte broșată
Editura: Springer Nature Switzerland AG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
276.36 lei
This volume constitutes the post-workshop proceedings of the First International Workshop on Formal...

Informații despre carte

Autor
Antonio Cerone
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2021
Pagini
227
EAN
9783030713737
ISBN
3030713733
Enbook ID
35425756
Editura
Springer Nature Switzerland AG
Greutate
454
Dimensiuni
155 x 235 x 14

Descriere completă

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.

S-ar putea să te intereseze

Hard To Be A God

Arkady Strugatsky
64.17 lei

Good-Bye, Mary Lou

Scott Sammis
102.96 lei

From Eden with Love

Ray Hawkins
40.69 lei

Bronco Charlie and the Pony Express

Marlene Targ Brill
46.74 lei

Little Pilgrim

Margaret Oliphant
82.01 lei

Party of Four Please! Workbook

Ariel J Taylor Ed D
78.88 lei

Nevermind

Richard Seltzer
89.76 lei

Chaucer Criticism: an Anthology

Richard J. Schoeck
183.57 lei

Touch

Richard Kearney
110.32 lei

The war myth in United States history

C. H. Hamlin
65.48 lei

Clienții care au cumpărat această carte au mai cumpărat și

Zur Theorie des Opfers

Richard Schenk
311.83 lei

El Libro Negro de los Secretos de Entrenamiento: Edicion Mejorada

Christian Thibaudeau
175.00 lei

Saolin: Price Iz Manastira

Vang Hongjun
84.12 lei

Athénée Palace

R. G. (Rosie Gräfin ) Waldeck
128.15 lei

Le business model freemium s'adapte-t-il ? la vidéo ? la demande ?

Louis Courtine
296.51 lei

tiptoi® Abenteuer Großwerden: Liv geht aufs Töpfchen

Sandra Grimm
82.21 lei