Concrete Semantics With Isabelle/HOL
by
 
Nipkow, Tobias. author.

Title
: 
Concrete Semantics With Isabelle/HOL

Author
: 
Nipkow, Tobias. author.

ISBN
: 
9783319105420

Edition
: 
1st ed. 2014.

Physical Description
: 
XIII, 298 p. 87 illus., 1 illus. in color. online resource.

Subject Term
: 
Computer logic.
 
Programming languages (Electronic computers).
 
Mathematical logic.

Added Author
: 
Klein, Gerwin.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
https://doi.org/10.1007/978-3-319-10542-0


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book485672-1001ONLINEElektronik Kütüphane