Formal Methods. An Appetizer

Formal Methods: An Appetizer  eBooks & eLearning

Posted by roxul at July 16, 2019
Formal Methods: An Appetizer

Flemming Nielson, "Formal Methods: An Appetizer"
English | ISBN: 3030051552 | 2019 | 160 pages | PDF | 2 MB

Formal Methods: An Appetizer (repost)  eBooks & eLearning

Posted by hill0 at July 24, 2019
Formal Methods: An Appetizer (repost)

Flemming Nielson, "Formal Methods: An Appetizer"
2019 | English | ISBN: 3030051552 | 160 pages | PDF | 2 MB

Semantics with Applications: An Appetizer  eBooks & eLearning

Posted by DZ123 at April 9, 2019
Semantics with Applications: An Appetizer

Hanne Riis Nielson, Flemming Nielson, "Semantics with Applications: An Appetizer"
English | 2007 | ISBN: 1846286913 | PDF | pages: 284 | 2.3 mb