
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
by Dines Bjørner- List Price: $109.99
- ISBN-10: 3540211500
- ISBN-13: 9783540211501
- Edition: 2006th
- Type: Hardcover
- Publisher: Springer
About The Book
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this... Read more
Related Books

- Year: 2003
- Edition: 1st
- Publisher: Routledge
- Type: Paperback
- ISBN13: 9781578201242
- ISBN: 1578201241

- Year: -0001
- Edition: 1st
- Publisher: Springer
- Type: Hardcover
- ISBN13: 9780387310732
- ISBN: 0387310738

$699
Lisp (3rd Edition)
- Year: 2019
- Edition: 3rd
- Publisher: Pearson
- Type: Paperback
- ISBN13: 9780201083194
- ISBN: 0201083191