Studiebog DRM-beskyttet

Formal Methods: Foundations and Applications

- 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Forfatter: info mangler

E-bog

Format
E-bog, PDF
Engelsk

Indgår i serie
Lecture Notes in Computer Science

E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris: kr. 359,95

Medlemspris: kr. 314,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: Straks (sendes på e-mail)
Split betalingen op med

Beskrivelse

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.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Udgivelsesdato23-01-2016
ISBN139783319294735
Forlag Springer International Publishing
FormatPDF

Formal Methods: Foundations and Applications

- 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Findes i disse kategorier...

Se andre, der handler om...