2 Ebooks oleh 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 …
PDF
Inggris
DRM
€227.38
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 …
PDF
Inggris
DRM
€166.32
