Buy Used and New Dines Bjørner Books

Software Engineering 3: Domains, Requirements, and Software Design: v. 3 (Texts in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner

ISBN 13: 9783540211518

Format: Hardcover (796 pages)
Publisher: Springer
Published: 09 Mar 2006
Other Format: Hardcover

Save for later

Software Engineering 2: Specification of Systems and Languages: v. 2 (Texts in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner

ISBN 13: 9783540211501

Format: Hardcover (804 pages)
Publisher: Springer
Published: 22 Feb 2006
Other Format: Hardcover

Save for later

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

by Dines Bjørner,Martin C. Henson

ISBN 13: 9783642093456

Format: Paperback (648 pages)
Publisher: Springer
Published: 22 Nov 2010

Save for later

Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner

ISBN 13: 9783030734831

Format: Hardcover (419 pages)
Publisher: Springer
Published: 18 Dec 2021

Save for later