Shipments to the United States

Due to changes in U.S. customs regulations, all shipments to the United States are now subject to customs clearance.
This means that the recipient will be required to pay customs duties, as well as any applicable taxes and fees upon import.
Please also note that delivery may be delayed while the shipment is being processed by U.S. customs.

Releases by Dines Bjorner

All12
Hardcover Book4
Paperback Book8

In stock at iMusic Show unavailable items

Cover for Dines Bjorner · Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 2008 edition] (2010)

Softcover reprint of hardcover 1st ed. 2008 edition

Logics of Specification Language... (2010)

Cover for Dines Bjorner · Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 2006 edition] (2010)

Softcover reprint of hardcover 1st ed. 2006 edition

Software Engineering 1: Abstract... (2010)

Cover for Dines Bjorner · Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 2006 edition] (2010)

Softcover reprint of hardcover 1st ed. 2006 edition

Software Engineering 2: Specific... (2010)

Cover for Dines Bjorner · Software Engineering 3: Domains, Requirements, and Software Design - Texts in Theoretical Computer Science. An EATCS Series (Paperback Book) (2010)

Software Engineering 3: Domains,... (2010)

Cover for Dines Bjorner · Logics of Specification Languages - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover Book) [2008 edition] (2007)

Logics of Specification Language... (2007)

Cover for Dines Bjorner · Software Engineering 3: Domains, Requirements, and Software Design - Texts in Theoretical Computer Science. An EATCS Series (Hardcover Book) (2006)

Software Engineering 3: Domains,... (2006)

Cover for Dines Bjorner · Software Engineering 2: Specification of Systems and Languages - Texts in Theoretical Computer Science. An EATCS Series (Hardcover Book) [2006 edition] (2006)

Software Engineering 2: Specific... (2006)

Cover for Dines Bjorner · Software Engineering 1: Abstraction and Modelling - Texts in Theoretical Computer Science. An EATCS Series (Hardcover Book) [2006 edition] (2005)

Software Engineering 1: Abstract... (2005)

Cover for Dines Bjorner · Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996, Proceedings (Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, Ju (Paperback Book) (1996)

Perspectives of System Informati... (1996)

Cover for Dines Bjorner · Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28-july 2, 1993 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (1993)

Formal Methods in Programming an... (1993)

Cover for Dines Bjorner · V.d.m.and Z.: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proceedings (Paperback Book) (1990)

V.d.m.and Z.: Third Internationa... (1990)

Cover for Dines Bjorner · Vdm '87, Vdm, a Formal Method at Work: Vdm-europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1987)

Vdm '87, Vdm, a Formal Method at... (1987)