Tommaso Bolognesi – författare
Visar alla böcker från författaren Tommaso Bolognesi. Handla med fri frakt och snabb leverans.
7 produkter
Formal Methods for Distributed System Development
FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
Av Diego Latella, Tommaso Bolognesi
E-bok, 2013
2862 kr
Lägg i varukorg
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 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. …
Formal Methods for Distributed System Development
FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
Av Ifip Tc6 Wg6 1 Joint International Confe, Tommaso Bolognesi m. fl.
Inbunden, 2000
2244 kr
Lägg i varukorg
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 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. …
LOTOSphere: Software Development with LOTOS
Av Tommaso Bolognesi, Jeroen van de Lagemaat m. fl.
Inbunden, 1995
1685 kr
Lägg i varukorg
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 the ISO/OSI family dates back to 1984. This history of the use of LOTOS made it apparent that more …
LOTOSphere: Software Development with LOTOS
Av Tommaso Bolognesi, Jeroen van de Lagemaat m. fl.
Häftad, 2012
1685 kr
Lägg i varukorg
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 the ISO/OSI family dates back to 1984. This history of the use of LOTOS made it apparent that more …
LOTOSphere: Software Development with LOTOS
Av Chris Vissers, Jeroen van de Lagemaat m. fl.
E-bok, 2012
2111 kr
Lägg i varukorg
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 the ISO/OSI family dates back to 1984. This history of the use of LOTOS made it apparent that more …
Formal Methods for Distributed System Development
FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
Av Tommaso Bolognesi, Diego Latella
Häftad, 2013
2179 kr
Lägg i varukorg
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 edition of the Conference, which was held for the first time in Italy, at Pisa, October 10-13, 2000. …
