Bolognesi, Tommaso books & textbook
LOTOSphere: Software Development with LOTOS: Software Development With Lotos
Bolognesi, Tommaso van de Lagemaat, Jeroen Vissers, Chris
Springer /2012-12-05 Paperback / 510 Pages
isbn-10: 1461359244 / isbn-13: 9781461359241
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... in Information and Communication Technology)
Bolognesi, Tommaso Latella, Diego
Springer /2013-02-28 Paperback / 432 Pages
isbn-10: 1475752644 / isbn-13: 9781475752649
