Software Engineering 1: Abstraction and Modelling
Autor Dines Bjørner
19 dec 2005
Hardback
Preț: 637.33 lei 796.66 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ț: 1107.11 lei 1383.89 lei
6-8 săpt.
-20%
Logics of Specification Languages
Editat de Dines Bjørner et al.
7 dec 2007
Hardback
Preț: 961.81 lei 1202.26 lei
6-8 săpt.
-20%
Software Engineering 2: Specification of Systems and Languages
Autor Dines Bjørner
22 feb 2006
Hardback
Preț: 343.29 lei 429.11 lei
6-8 săpt.
-20%
Software Engineering 3: Domains, Requirements, and Software Design
Autor Dines Bjørner
12 feb 2010
Paperback
Preț: 688.26 lei 860.33 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ț: 345.25 lei 431.56 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ț: 621.60 lei 777.00 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ț: 323.07 lei 403.84 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ț: 322.14 lei 402.68 lei
6-8 săpt.
-20%
Baltic Computer Science: Selected Papers
Editat de Janis Barzdins et al.
28 iun 1991
Paperback
Preț: 627.17 lei 783.95 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ț: 329.10 lei 411.38 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ț: 321.53 lei 401.91 lei
6-8 săpt.
-20%