Author books / Книги автора Dines Bjørner » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Dines Bjørner

book Domain Science and Engineering. A Foundation for Software Development.

Domain Science and Engineering. A Foundation for Software Development.

pdf

Author: Dines Bjørner
Language: English
Year: 2021

00

12.02.2024

0

0

book Domain Science and Engineering: A Foundation for Software Development

Domain Science and Engineering: A Foundation for Software Development

pdf

Author: Dines Bjørner
Language: English
Year: 2021

00

08.02.2024

0

0

book Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

pdf

Author: Prof. Dr. Dines Bjørner (auth.)
Language: English
Year: 2006

00

06.02.2024

0

0

book Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

pdf

Author: Dines Bjørner (auth.) Paul Boca Jonathan P. Bowen Jawed Siddiqi (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

pdf

Author: Dines Bjørner
Language: English
Year: 2006

00

27.01.2024

0

0

book SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

SOFSEM 2000: Theory and Practice of Informatics: 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings

pdf

Author: Dines Bjørner (auth.) Václav Hlaváč Keith G. Jeffery Jiří Wiedermann (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

pdf

Author: Dines Bjørner
Language: English
Year: 2006

00

27.01.2024

0

0

book Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

pdf

Author: Dines Bjørner (auth.) Cliff B. Jones Zhiming Liu Jim Woodcock (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0

book Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3: Domains, Requirements, and Software Design

pdf

Author: Dines Bjørner
Language: English
Year: 2006

00

27.01.2024

0

0

book Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

pdf

Author: Dines Bjørner
Language: English
Year: 2006

00

27.01.2024

0

0