Treffer: Decision procedures
Titel:
Decision procedures : an algorithmic point of view / Daniel Kroening ; Ofer Strichman
Beteiligt:
Veröffentlicht:
Berlin [u.a.] : Springer, 2008
Umfang:
XVI, 304 S. : graph. Darst.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Texts in theoretical computer science. an EATCS series
RVK-Notation:
Schlagworte:
ISBN:
3540741046 ; 9783540741046