Challenge Faves

Logics of Specification Languages > Editions

by Dines Bjørner First published December 1st 2007

Sort by
Format
Language
Editions
Showing 1-5 of 5
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Published December 7th 2007 by Springer
2008, Hardcover, 646 pages
Author(s):
ISBN:
9783540741060 (ISBN10: 3540741062)
ASIN:
3540741062
Edition language:
English
Average rating:
5.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Published December 5th 2007 by Springer
Kindle Edition
Author(s):
ISBN:
9783540741077 (ISBN10: 3540741070)
ASIN:
B0DB1GPR9W
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) (2007-12-20)
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) (2007-12-20)
Published by Springer
Hardcover, 0 pages
Author(s):
ASIN:
B01FELZ7K2
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Logics of Specification Languages
Logics of Specification Languages (Paperback)
Published August 12th 2008 by Springer
Paperback, 652 pages
Author(s):
ISBN:
9783540841999 (ISBN10: 3540841997)
ASIN:
3540841997
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Published November 22nd 2010 by Springer
Softcover reprint of hardcover 1st ed. 2008, Paperback, 646 pages
Author(s):
ISBN:
9783642093456 (ISBN10: 3642093450)
ASIN:
3642093450
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page