
Formal Methods: Industrial Use from Model to the Code
Author(s): Jean-Louis Boulanger
Wiley-ISTE | 2012 | English | 9781848213623 | 384 pages

Author(s): Jean-Louis Boulanger
Wiley-ISTE | 2012 | English | 9781848213623 | 384 pages

Author(s): Charity Vogel (Author)
Three Hills | 2018 | English | 9781501732638 | 312 pages

Author(s): Andrew J. Sparberg (Author)
Empire State Editions | 2016 | English | 9780823271801 | 192 pages