Provably Correct Systems

Type:

e-book

Titel:

Provably Correct Systems

Auteur:

Hinchey, Mike; Bowen, Jonathan P.; Olderog, Ernst-Rüdiger; Bowen, Jonathan P.; Olderog, Ernst-Rüdiger

Taal:

Engels

Uitgever:

Springer International Publishing 2017

ISBN:

3-319-48627-6
3-319-48628-4

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000001083958