Domain Science and Engineering: A Foundation for Software Development Monographs in Theoretical Computer Science. An EATCS Series Autor Dines Bjørner 10 noi 2022 Paperback Preț: 1107.11 lei 1383.89 lei 6-8 săpt. -20%
Logics of Specification Languages Monographs in Theoretical Computer Science. An EATCS Series 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 Texts in Theoretical Computer Science. An EATCS Series 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 Texts in Theoretical Computer Science. An EATCS Series 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 Lecture Notes in Computer Science, nr. 2244 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: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings Lecture Notes in Computer Science, nr. 1181 Editat de Dines Bjørner et al. 4 dec 1996 Paperback Preț: 323.07 lei 403.84 lei 6-8 săpt. -20%
Baltic Computer Science: Selected Papers Lecture Notes in Computer Science, nr. 502 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 Lecture Notes in Computer Science, nr. 428 Editat de Dines Bjørner et al. 4 apr 1990 Paperback Preț: 329.10 lei 411.38 lei 6-8 săpt. -20%