Concise guide to formal methods = th...
SpringerLink (Online service)

 

  • Concise guide to formal methods = theory, fundamentals and industry applications /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Concise guide to formal methods/ by Gerard O'Regan.
    Reminder of title: theory, fundamentals and industry applications /
    Author: O'Regan, Gerard.
    Published: Cham :Springer International Publishing : : 2017.,
    Description: xix, 312 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Formal methods (Computer science) -
    Online resource: http://dx.doi.org/10.1007/978-3-319-64021-1
    ISBN: 9783319640211
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login