Logics of Specification Languages
Dines Bjorner
Item not Available
Format: Book (Paperback / softback)
£171.00
£147.25
Item not Available
Book (Paperback / softback)
Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Dines Bjorner
Item not Available
Format: Book (Paperback / softback)
£90.00
£73.79
Item not Available
Book (Paperback / softback)
Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Dines Bjorner
Download - Immediately Available
Format: eBook (PDF)
Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
Dines Bjorner
Download - Immediately Available
Format: eBook (PDF)
£169.99
£146.35
Item not Available
Book (Hardback)
Logics of Specification Languages
Dines Bjorner
Download - Immediately Available
Format: eBook (PDF)