Treffer: Decision procedures
Titel:
Decision procedures : an algorithmic point of view / Daniel Kroening ; Ofer Strichman ; foreword by Randal E. Bryant
Verantwortlich:
Veröffentlicht:
Berlin [u.a.] : Springer, 2010
Umfang:
XVI, 304 S. : graph. Darst.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Texts in theoretical computer science. an EATCS series
Schlagworte:
ISBN:
9783642093449