Decision Procedures

Type:

e-book

Titel:

Decision Procedures

Auteur:

Kroening; Strichman, Ofer

Taal:

Engels

Uitgever:

Springer Berlin Heidelberg 2016

ISBN:

3-662-50496-0
3-662-50497-9

Permalink:

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