Theoretical Aspects of Computing - ICTAC 2025 Lecture Notes in Computer Science, nr. 16237 Editat de Zhiming Liu et al. 23 noi 2025 Paperback Preț: 469.34 lei 586.68 lei 6-8 săpt. -20%
Formal Methods for Open Object-Based Distributed Systems Editat de Roberto Gorrieri et al. 9 iun 2006 Paperback Preț: 321.15 lei 401.43 lei 6-8 săpt. -20%
Integrated Formal Methods Editat de Michael Leuschel et al. 2 feb 2009 Paperback Preț: 326.26 lei 407.83 lei 6-8 săpt. -20%
Fundamental Approaches to Software Engineering Lecture Notes in Computer Science, nr. 12076 Editat de Heike Wehrheim et al. 21 apr 2020 Paperback Preț: 308.47 lei 385.59 lei 6-8 săpt. -20%
Tests and Proofs Lecture Notes in Computer Science, nr. 12165 Editat de Wolfgang Ahrendt et al. 20 iun 2020 Paperback Preț: 316.83 lei 396.04 lei 6-8 săpt. -20%
Correct System Design Lecture Notes in Computer Science, nr. 9360 Editat de Roland Meyer et al. 3 sep 2015 Paperback Preț: 321.74 lei 402.18 lei 6-8 săpt. -20%