Software Engineering 1: Abstraction and Modelling
Autor Dines Bjørner
19 dec 2005
Hardback
Preț: 672.84 lei 841.05 lei
6-8 săpt.
-20%
Cărți de Dines Bjørner
Domain Science and Engineering: A Foundation for Software Development
Autor Dines Bjørner
10 noi 2022
Paperback
Preț: 1168.99 lei 1461.23 lei
6-8 săpt.
-20%
Logics of Specification Languages
Editat de Dines Bjørner et al.
7 dec 2007
Hardback
Preț: 1015.53 lei 1269.41 lei
6-8 săpt.
-20%
Software Engineering 2: Specification of Systems and Languages
Autor Dines Bjørner
22 feb 2006
Hardback
Preț: 362.57 lei 453.21 lei
6-8 săpt.
-20%
Software Engineering 3: Domains, Requirements, and Software Design
Autor Dines Bjørner
12 feb 2010
Paperback
Preț: 727.14 lei 908.92 lei
6-8 săpt.
-20%
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Editat de Dines Bjørner et al.
14 dec 2001
Paperback
Preț: 364.38 lei 455.48 lei
6-8 săpt.
-20%
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
Editat de Dines Bjørner et al.
26 ian 2000
Paperback
Preț: 656.69 lei 820.86 lei
6-8 săpt.
-20%
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Editat de Dines Bjørner et al.
4 dec 1996
Paperback
Preț: 340.98 lei 426.22 lei
6-8 săpt.
-20%
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Editat de Dines Bjørner et al.
5 oct 1993
Paperback
Preț: 339.99 lei 424.99 lei
6-8 săpt.
-20%
Baltic Computer Science: Selected Papers
Editat de Janis Barzdins et al.
28 iun 1991
Paperback
Preț: 662.11 lei 827.63 lei
6-8 săpt.
-20%
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Editat de Dines Bjørner et al.
4 apr 1990
Paperback
Preț: 347.58 lei 434.48 lei
6-8 săpt.
-20%
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Editat de Dines Bjørner et al.
11 mar 1987
Paperback
Preț: 339.34 lei 424.17 lei
6-8 săpt.
-20%