- Nyhet
Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques f
AvTommaso Bolognesi,Diego Latella
Engelska, 2013
667 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Del 55
Formal Methods for Distributed System Development
Tommaso Bolognesi, Diego Latella
Häftad, 2013
2 202 kr
Formal Methods for Distributed System Development
Ifip Tc6 Wg6 1 Joint International Confe, Tommaso Bolognesi, Diego Latella
Inbunden, 2000
2 268 kr
Integrated Formal Methods
John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne
Häftad, 2012
572 kr
LOTOSphere: Software Development with LOTOS
Tommaso Bolognesi, Jeroen van de Lagemaat, Chris Vissers
Häftad, 2012
1 703 kr
LOTOSphere: Software Development with LOTOS
Chris Vissers, Jeroen van de Lagemaat, Tommaso Bolognesi
E-bok
20122 065 kr
LOTOSphere: Software Development with LOTOS
Tommaso Bolognesi, Jeroen van de Lagemaat, Chris Vissers
Inbunden, 1995
1 703 kr
- Signerad!