Formal Methods: Foundations and Applications
Jim Davies, Leila Silva, Adenilso Simao
Häftad, 2011
561 kr
Formal Methods: Foundations and Applications
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
E-bok
PDF, Engelska, 2011708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
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
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Testing Software and Systems
Jose Carlos Maldonado, Adenilso Simao, Alexandre Petrenko
E-bok
2010708 kr
Del 12545
Theoretical Aspects of Computing – ICTAC 2020
Violet Ka I Pun, Volker Stolz, Adenilso Simao
Häftad, 2020
561 kr
Formal Methods and Software Engineering
Jim Davies, Wolfram Schulte, Mike Barnett
Häftad, 2004
1 114 kr
Testing Software and Systems
Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado
Häftad, 2010
561 kr
Theoretical Aspects of Computing - ICTAC 2020
Adenilso Simao, Volker Stolz, Violet Ka I Pun
E-bok
2020708 kr
Engineering Agile Big-Data Systems
Kevin Feeney, Jim Davies, James Welch, Kevin Feeney, Jim Davies, Sebastian Hellmann
Inbunden, 2018
1 318 kr