2 Ebooks by Tommaso Bolognesi
Tommaso Bolognesi & Diego Latella: Formal Methods for Distributed System Development
th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 ed …
PDF
Inggeris
DRM
€230.91
Tommaso Bolognesi & Jeroen van de Lagemaat: LOTOSphere: Software Development with LOTOS
LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of t …
PDF
Inggeris
DRM
€165.79