Software Engineering 1: Abstraction and Modelling
Autor Dines Bjørner
19 dec 2005
Hardback
Preț: 659.22 lei 824.03 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ț: 1145.29 lei 1431.61 lei
6-8 săpt.
-20%
Logics of Specification Languages
Editat de Dines Bjørner et al.
7 dec 2007
Hardback
Preț: 994.95 lei 1243.68 lei
6-8 săpt.
-20%
Software Engineering 2: Specification of Systems and Languages
Autor Dines Bjørner
22 feb 2006
Hardback
Preț: 355.27 lei 444.09 lei
6-8 săpt.
-20%
Software Engineering 3: Domains, Requirements, and Software Design
Autor Dines Bjørner
12 feb 2010
Paperback
Preț: 712.43 lei 890.54 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ț: 357.05 lei 446.31 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ț: 643.42 lei 804.27 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ț: 334.10 lei 417.63 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ț: 333.14 lei 416.43 lei
6-8 săpt.
-20%
Baltic Computer Science: Selected Papers
Editat de Janis Barzdins et al.
28 iun 1991
Paperback
Preț: 648.71 lei 810.89 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ț: 340.60 lei 425.74 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ț: 332.50 lei 415.63 lei
6-8 săpt.
-20%