Dines Bjørner - Böcker
2 369 kr
Skickas inom 10-15 vardagar
2 369 kr
Skickas inom 10-15 vardagar
VDM '87. VDM - A Formal Method at Work
VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
709 kr
Skickas inom 10-15 vardagar
1 409 kr
Skickas inom 10-15 vardagar
709 kr
Skickas inom 10-15 vardagar
1 409 kr
Skickas inom 10-15 vardagar
Perspectives of System Informatics
4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
709 kr
Skickas inom 10-15 vardagar
VDM '90. VDM and Z - Formal Methods in Software Development
Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
709 kr
Skickas inom 10-15 vardagar
1 409 kr
Skickas inom 10-15 vardagar
Formal Methods in Programming and Their Applications
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
709 kr
Skickas inom 10-15 vardagar
Perspectives of System Informatics
Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
709 kr
Skickas inom 10-15 vardagar
Perspectives of System Informatics
Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
1 409 kr
Skickas inom 10-15 vardagar
2 089 kr
Skickas inom 10-15 vardagar
1 219 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
1 539 kr
Skickas inom 10-15 vardagar
2 089 kr
Skickas inom 10-15 vardagar