|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Baltic Computer Science: Selected Papers 1991 Edition (Lecture Notes in Computer Science) | Barzdins, Janis | Paperback | 3540541314 / 9783540541318 | 06/1991 | $104.49 |
| | Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding 1993 Edition (Lecture Notes in Computer Science) | Bjørner, Dines | Paperback | 354057316X / 9783540573166 | 10/1993 | $52.24 |
| | Logics of Specification Languages (Monographs in Theoretical Computer Science. an Eatcs) | Bjørner, Dines | Paperback | 3642093450 / 9783642093456 | 11/2010 | $161.49 |
| | Logics of Specification Languages 2008 Edition (Monographs in Theoretical Computer Science) | Bjørner, Dines | Hardcover | 3540741062 / 9783540741060 | 12/2007 | $161.49 |
| | Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, 2001 Edition (Lecture Notes in Computer Science) | Bjørner, Dines | Paperback | 354043075X / 9783540430759 | 12/2001 | $52.24 |
| | Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Pr 1996 Edition (Lecture Notes in Physics) | Bjørner, Dines | Paperback | 3540620648 / 9783540620648 | 12/1996 | $52.24 |
| | Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. an Eatcs) | Bjørner, Dines | Paperback | 3642059392 / 9783642059391 | 02/2010 | $94.99 |
| | Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. an Eatcs) | Bjørner, Dines | Paperback | 3642059406 / 9783642059407 | 02/2010 | $52.24 |
| | Software Engineering 2: Specification of Systems and Languages 2006 Edition (Texts in Theoretical Computer Science. an Eatcs) | Bjørner, Dines | Hardcover | 3540211500 / 9783540211501 | 02/2006 | $52.24 |
| | VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings 1987 Edition (Lecture Notes in Computer Science) | Bjørner, Dines | Paperback | 3540176543 / 9783540176541 | 03/1987 | $52.24 |
| | VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings 1990 Edition (Lecture Notes in Computer Science) | Bjørner, Dines | Paperback | 3540525130 / 9783540525134 | 04/1990 | $52.24 |
|
|
|