Formal Methods An Appetizer
by
 
Nielson, Flemming. author. (orcid)0000-0001-7362-6176

Title
: 
Formal Methods An Appetizer

Author
: 
Nielson, Flemming. author. (orcid)0000-0001-7362-6176

ISBN
: 
9783030051563

Edition
: 
1st ed. 2019.

Physical Description
: 
XVII, 160 p. online resource.

Subject Term
: 
Computers.
 
Software engineering.

Added Author
: 
Riis Nielson, Hanne.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
https://doi.org/10.1007/978-3-030-05156-3


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