Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-31 of 31 results for author "Bjørner, D. (Dines), 1937-"
The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones.
- Text
- Berlin ; New York : Springer-Verlag, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSE 81-17 Offsite VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 90-1374 Offsite Baltic computer science : selected papers / J. Bārzdiṇš, D Bjørner, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-663 Offsite Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 94-132 Offsite Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings / Dines Bjørner, Manfred Broy, Igor V. V. Pottosin (eds.).
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 97-116 Offsite Perspectives of system informatics : Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).
- Text
- Berlin ; New York : Springer, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-725 Offsite Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
- Text
- Berlin : London : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 02-283 Offsite Baltic computer science : selected papers / J. Bārzdiṇš, D Bjørner, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1991], ©1991.
- 1991-1991
- 1 Item
Item details Format Call Number Item Location Text QA76 .B26 1991 Off-site Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.
- Text
- Berlin ; New York : Springer-Verlag, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA76.73.A35 T68 1980 Off-site Images of programming : dedicated to the memory of A. P. Ershov / edited by D. Bjørner, V. Kotov.
- Text
- Amsterdam ; London : North-Holland, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .I42 1991g Off-site The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones.
- Text
- Berlin ; New York : Springer-Verlag, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .V53 Off-site Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .F577 1993 Off-site Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings / Dines Bjørner, Manfred Broy, Igor V. V. Pottosin (eds.).
- Text
- Berlin ; New York : Springer, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .A454 1996 Off-site Perspectives of system informatics : Third International Andrei Ershov memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).
- Text
- New York : Springer, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA76 .I497 2000 Off-site Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982 / edited by Dines Bjørner.
- Text
- 1983
- 2 Items
Item details Format Call Number Item Location Text QA76.6 .I25 1982 Off-site Item details Format Call Number Item Location Text QA76.6 .I25 1982 Off-site Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
- Text
- Berlin ; New York : Springer, [2001], ©2001.
- 2001-2001
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .A454 2001g Off-site VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 proceedings / edited by D. Bjørner [and others].
- Text
- Berlin ; New York : Springer-Verlag, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 V85 1987 Off-site Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).
- Text
- Berlin ; New York : Springer, [2007], ©2007.
- 2007-2007
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA76.9.F67 F524 2007g Off-site Logics of specification languages / Dines Bjørner, Martin C. Henson, editors.
- Text
- Berlin : Springer, [2008], ©2008.
- 2008-2008
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .L64 2008g Off-site Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987 / edited by Dines Bjørner, Andrei P. Ershov, Neil D. Jones.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .I1784 1987 Off-site VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1990], ©1990.
- 1990-1990
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 V36 1990 Off-site The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones.
- Text
- Berlin ; New York : Springer-Verlag, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text QA76.7.V53 Off-site VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 proceedings / edited by D. Bjørner ... [et al.].
- Text
- Berlin ; New York : Springer-Verlag, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 V85 1987 Off-site Logics of specification languages / Dines Bjørner, Martin C. Henson, editors.
- Text
- Berlin : Springer, c2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .L65 2008 Off-site VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).
- Text
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 V36 1990 Off-site Baltic computer science : selected papers / J. Bārzdiṇš, D Bjørner, (eds.).
- Text
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.B26 1991 Off-site Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.
- Text
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA76.73.A35 xT69 Off-site The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones.
- Text
- Berlin ; New York : Springer-Verlag, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text QA76.7.V53 Off-site Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings / edited by D. Bjørner.
- Text
- Berlin : New York : Springer-Verlag, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .C656 1979 Off-site Logics of specification languages / Dines Bjørner, Martin C. Henson, editors.
- Text
- Berlin : Springer, ©2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .L65 2008 Off-site Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.
- Text
- Berlin ; New York : Springer-Verlag, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA76.73.A35 xT69 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta