Author/Creator: FORTE 2002 - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator FORTE 2002

1. Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /: 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. (2018)

Other Names:: Peled, Doron A, 1962-; Vardi, Moshe Y; FORTE 2002
Record Type:: Book
Extent:: 1 online resource (157 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗