Del i serien Lecture Notes in Computer Science
Formal Methods: Foundations and Applications
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Häftad, Engelska, 2011
749 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains.
Produktinformation
- Utgivningsdatum2011-03-23
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor291
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642198281
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 12545
Theoretical Aspects of Computing – ICTAC 2020
Violet Ka I Pun, Volker Stolz, Adenilso Simao
Häftad, 2020
749 kr
Formal Methods and Software Engineering
Jim Davies, Wolfram Schulte, Mike Barnett
Häftad, 2004
1 479 kr
Testing Software and Systems
Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado
Häftad, 2010
749 kr
Engineering Agile Big-Data Systems
Kevin Feeney, Jim Davies, James Welch, Kevin Feeney, Jim Davies, Sebastian Hellmann
Inbunden, 2018
1 779 kr