Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner (Editor), Dines Bjørner (Editor), Martin C. Henson (Editor)

New
Paperback
2010
$193.93

$193.93

Save:$20.85 (10%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 648
Edition: Softcover reprint of hardcover 1st ed. 2008
Publisher: Springer
Published: 22 Nov 2010
ISBN 10: 3642093450
ISBN 13: 9783642093456

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

New

$193.93

$193.93

More Information