Dines Bjørner

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

Dines Bjørner

$60.57 - $60.74

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science)

Dines Bjørner

$60.03

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings (Lecture Notes in Computer Science)

Dines Bjørner

$60.03

Formal Description of Programming Concepts--II: Proceedings of the Ifip Working Conference on Formal Description of Programming Concepts--II, Garmisch

Dines Bjørner

Out of Stock

Domain Science and Engineering: A Foundation for Software Development

Dines Bjørner

$199.99

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science)

Dines Bjørner

$60.74

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings (Lecture Notes in Computer Science)

Dines Bjørner

$25.99 - $109.99

Abstract Software Specifications: 1979 Copenhagen Winter School, January 22-February 2, 1979 : Proceedings (Lecture Notes in Computer Science)

Dines Bjørner

$59.99

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)

Dines Bjørner

$99.99 - $109.99

VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science)

Dines Bjørner

$60.03

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

Dines Bjørner

$109.99 - $119.99