Author books / Книги автора Peter Lucas (auth.) Dines Bjørner Cliff B. Jones (eds.) » Page 5 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Peter Lucas (auth.) Dines Bjørner Cliff B. Jones (eds.) » Page 5

book The Vienna Development Method: The Meta-Language

The Vienna Development Method: The Meta-Language

pdf

Author: Peter Lucas (auth.) Dines Bjørner Cliff B. Jones (eds.)
Language: English
Year: 1978

00

26.01.2024

0

0

book Baltic Computer Science: Selected Papers

Baltic Computer Science: Selected Papers

djvu

Author: G. Mints E. Tyugu (auth.) Janis Bārzdinš Dines Bjørner (eds.)
Language: English
Year: 1991

00

26.01.2024

0

0

book Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

djvu

Author: Dines Bjørner (auth.) P. Dembiński (eds.)
Language: English
Year: 1980

00

26.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

26.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

26.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

26.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

26.01.2024

0

0

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

Software Engineering 3: Domains, Requirements, and Software Design

djvu

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

00

26.01.2024

0

0