bib.howest.be Zoekresultaten

U zocht naar: Auteur Sannella, Donald Taal Engels

1 - 5 van 5

1. Foundations of Algebraic Specification and Formal Software Development

Auteur:: Sannella, Donald; Tarlecki, Andrzej
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

2. Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

Auteur:: Italiano; Pighizzini, Giovanni; Sannella, Donald T.
Uitgever:: Springer Berlin Heidelberg 2015
Type:: e-book

3. Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

Auteur:: Italiano; Pighizzini, Giovanni; Sannella, Donald T.
Uitgever:: Springer Berlin Heidelberg 2015
Type:: e-book

4. Introduction to Computation : Haskell, Logic and Automata

Auteur:: Sannella, Donald.; Fourman, Michael; Peng, Haoran; Wadler, Philip
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

5. Trustworthy Global Computing

Auteur:: Montanari, Ugo; Bruni, Roberto; Kanade, Takeo; Sannella, Donald; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book