Logics in computer science = a study...
SpringerLink (Online service)

 

  • Logics in computer science = a study on extensions of temporal and strategic logics /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Logics in computer science/ by Fabio Mogavero.
    Reminder of title: a study on extensions of temporal and strategic logics /
    Author: Mogavero, Fabio.
    Published: Paris :Atlantis Press : : 2013.,
    Description: xvii, 149 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Computer logic. -
    Online resource: http://dx.doi.org/10.2991/978-94-91216-95-4
    ISBN: 9789491216954 (electronic bk.)
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login