Bjorner, Dines books & textbook
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines Henson, Martin C.
Springer /2007-12-07 Hardcover / 646 Pages
isbn-10: 3540741062 / isbn-13: 9783540741060
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science, 252)
Bjørner, Dines Jones, Cliff Mac An Airchinnigh, Michael Neuhold, Erich J.
Springer /1987-03-11 Paperback / 433 Pages
isbn-10: 3540176543 / isbn-13: 9783540176541
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... (Lecture Notes in Computer Science, 2244)
Bjørner, Dines Broy, Manfred Zamulin, Alexandre
Springer /2001-12-14 Paperback / 563 Pages
isbn-10: 354043075X / isbn-13: 9783540430759
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Springer /2006-03-09 Hardcover / 798 Pages
isbn-10: 3540211519 / isbn-13: 9783540211518
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Springer /2005-12-19 Hardcover / 754 Pages
isbn-10: 3540211497 / isbn-13: 9783540211495
Domain Science and Engineering: A Foundation for Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer /2021-11-09 Hardcover / 419 Pages
isbn-10: 3030734838 / isbn-13: 9783030734831
Perspectives of System Informatics. Lecture Notes in Computer Science, Volume 1181
Springer /1996-01-01 Paperback
Software Engineering 1
Springer-Verlag Berlin and Heidelberg GmbH & Co. K / Unknown Binding
Software Engineering: Specification Of Systems And Languages (Texts in Theoretical Computer Science. An EATCS Series)
Fisicalbook /2005-01-01 Hardcover
