Formal Methods: Foundations and Applications
Bill Roscoe, Marcio Cornelio
PocketEngelsk
Del av serien Lecture Notes in Computer Science
Hopp til hovedinnholdet
Formal Methods: Foundations and Applications
Redigert av Leila Ribeiro, Thierry Lecomte, 2016.Del av serien Lecture Notes in Computer Science.
19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
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.
PocketEngelsk
649,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 17 dager
Formal Methods: Foundations and Applications
Redigert av Leila Ribeiro, Thierry Lecomte, 2016.Del av serien Lecture Notes in Computer Science.
19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
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.
649,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 17 dager
649,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
