Pensum -10%
Formal Methods
Leila Ribeiro, Thierry Lecomte
PocketEngelsk
Del av serien Lecture Notes in Computer Science
Hopp til hovedinnholdet
Formal Methods
Redigert av Bill Roscoe, Márcio Cornélio, 2016.Del av serien Lecture Notes in Computer Science.
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.
The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.
PocketEngelsk
Normalpris: 479,-
431,-
Spar 48,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
Formal Methods
Redigert av Bill Roscoe, Márcio Cornélio, 2016.Del av serien Lecture Notes in Computer Science.
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.
The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.
Normalpris: 479,-
431,-
Spar 48,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
431,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
