Leveraging applications of formal me...
SpringerLink (Online service)

 

  • Leveraging applications of formal methods, verification and validation = foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part I /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Leveraging applications of formal methods, verification and validation/ edited by Tiziana Margaria, Bernhard Steffen.
    Reminder of title: foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.
    remainder title: ISoLA 2016
    other author: Margaria, Tiziana.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Springer International Publishing : : 2016.,
    Description: xxiii, 974 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Robots - Juvenile literature. - Programming -
    Online resource: http://dx.doi.org/10.1007/978-3-319-47166-2
    ISBN: 9783319471662
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login