Manfred Broy (eds.): البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Formal Methods and Models for System Design: A System Level Perspective

Formal Methods and Models for System Design: A System Level Perspective

Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin (eds.)

عام:

2004

اللغة:

english

ملف:

PDF, 23.23 MB

0 / 0

english, 2004

2

Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Christian Ferdinand, Reinhold Heckmann (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

عام:

2006

اللغة:

english

ملف:

PDF, 4.65 MB

0 / 0

english, 2006

3

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

عام:

1985

اللغة:

english

ملف:

DJVU, 5.69 MB

0 / 0

english, 1985

4

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

عام:

1996

اللغة:

english

ملف:

DJVU, 4.41 MB

5.0 / 4.0

english, 1996

5

Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

Springer Berlin Heidelberg

K. Samelson, F. L. Bauer (auth.), Manfred Broy, Ernst Denert (eds.)

عام:

2001

اللغة:

english

ملف:

PDF, 34.05 MB

0 / 0

english, 2001

6

Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.)

عام:

2013

اللغة:

english

ملف:

PDF, 5.15 MB

0 / 0

english, 2013

7

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

عام:

1996

اللغة:

english

ملف:

PDF, 8.22 MB

0 / 0

english, 1996

8

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

عام:

2010

اللغة:

german

ملف:

PDF, 1.20 MB

0 / 0

german, 2010

9

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

عام:

2005

اللغة:

english

ملف:

PDF, 5.87 MB

0 / 0

english, 2005

10

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)

عام:

2012

اللغة:

english

ملف:

PDF, 8.59 MB

0 / 0

english, 2012

11

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 13.88 MB

0 / 0

english, 2009

12

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

عام:

1996

اللغة:

english

ملف:

PDF, 6.23 MB

0 / 5.0

english, 1996

13

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

عام:

2010

اللغة:

german

ملف:

PDF, 1.36 MB

0 / 0

german, 2010

14

Program Design Calculi

Program Design Calculi

Springer-Verlag Berlin Heidelberg

Carroll Morgan (auth.), Manfred Broy (eds.)

عام:

1993

اللغة:

english

ملف:

PDF, 13.42 MB

0 / 0

english, 1993

15

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

عام:

1996

اللغة:

english

ملف:

DJVU, 3.86 MB

0 / 0

english, 1996

16

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

عام:

2005

اللغة:

english

ملف:

PDF, 6.11 MB

0 / 0

english, 2005

17

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 7.03 MB

0 / 0

english, 2003

18

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 35.10 MB

0 / 0

english, 2009

19

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 5.85 MB

0 / 0

english, 2003

20

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

عام:

2010

اللغة:

german

ملف:

PDF, 1.26 MB

0 / 5.0

german, 2010

21

Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology

Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology

Springer International Publishing

Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger (eds.)

عام:

2016

اللغة:

english

ملف:

PDF, 42.87 MB

0 / 0

english, 2016

22

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Springer-Verlag Berlin Heidelberg

Klaus Beetz, Dr. Wolfgang Böhm (auth.), Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy (eds.)

عام:

2012

اللغة:

english

ملف:

PDF, 10.50 MB

0 / 0

english, 2012

23

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

عام:

1985

اللغة:

english

ملف:

PDF, 26.53 MB

0 / 0

english, 1985

24

Programming and Mathematical Method: International Summer School

Programming and Mathematical Method: International Summer School

Springer-Verlag Berlin Heidelberg

Prof. Dr. Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

عام:

1992

اللغة:

english

ملف:

PDF, 31.22 MB

0 / 0

english, 1992

25

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

عام:

1982

اللغة:

english

ملف:

PDF, 43.75 MB

0 / 0

english, 1982

26

Software Pioneers: Contributions to Software Engineering

Software Pioneers: Contributions to Software Engineering

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Prof. Dr. Manfred Broy, Prof. Dr. Ernst Denert (eds.)

عام:

2002

اللغة:

english

ملف:

PDF, 305.89 MB

0 / 0

english, 2002

27

VDI-Lexikon Informatik und Kommunikationstechnik

VDI-Lexikon Informatik und Kommunikationstechnik

Springer-Verlag Berlin Heidelberg

Prof. Dr. rer. nat. Manfred Broy (auth.), Prof. Dr. rer. nat. Manfred Broy, Prof. Dr. rer. nat. Otto Spaniol (eds.)

عام:

1999

اللغة:

german

ملف:

PDF, 34.77 MB

0 / 0

german, 1999

28

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

عام:

2005

اللغة:

english

ملف:

PDF, 5.92 MB

0 / 0

english, 2005

29

Program Construction: International Summer School

Program Construction: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Prof. Dr. Dr. h. c. Friedrich L. Bauer, Dipl.-Math. Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner (eds.)

عام:

1979

اللغة:

english

ملف:

PDF, 10.85 MB

0 / 0

english, 1979

30

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Richard S. Bird (auth.), Manfred Broy (eds.)

عام:

1987

اللغة:

english

ملف:

PDF, 12.98 MB

0 / 0

english, 1987

31

Program Construction: International Summer School

Program Construction: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Prof. Dr. Dr. h. c. Friedrich L. Bauer, Dipl.-Math. Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner (eds.)

عام:

1979

اللغة:

english

ملف:

DJVU, 4.87 MB

0 / 0

english, 1979

32

Mathematical Methods in Program Development

Mathematical Methods in Program Development

Springer-Verlag Berlin Heidelberg

David Gries (auth.), Manfred Broy, Birgit Schieder (eds.)

عام:

1997

اللغة:

english

ملف:

PDF, 21.26 MB

0 / 0

english, 1997

33

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

K. Venkatesh Prasad, Thomas J. Giuli, David Watson (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

عام:

2008

اللغة:

english

ملف:

PDF, 4.08 MB

0 / 0

english, 2008

34

Advances in real-time systems

Advances in real-time systems

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Samarjit Chakraborty, Jörg Eberspächer (eds.)

عام:

2012

اللغة:

english

ملف:

PDF, 8.31 MB

0 / 0

english, 2012

35

Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012

Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy (eds.)

عام:

2013

اللغة:

english

ملف:

PDF, 16.68 MB

0 / 0

english, 2013

36

50 Jahre Universitäts-Informatik in München

50 Jahre Universitäts-Informatik in München

Springer Vieweg

Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes (eds.)

عام:

2017

اللغة:

german

ملف:

PDF, 5.48 MB

0 / 0

german, 2017

37

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

عام:

1982

اللغة:

english

ملف:

PDF, 60.74 MB

0 / 0

english, 1982

38

Programming and Mathematical Method: International Summer School

Programming and Mathematical Method: International Summer School

Springer-Verlag Berlin Heidelberg

Prof. Dr. Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

عام:

1992

اللغة:

english

ملف:

DJVU, 3.91 MB

0 / 0

english, 1992

39

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

عام:

1982

اللغة:

english

ملف:

DJVU, 5.65 MB

0 / 0

english, 1982

40

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Donald Sannella (auth.), Dines Bjøner, Manfred Broy, Alexandre V. Zamulin (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 9.42 MB

0 / 0

english, 2000

41

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

عام:

1983

اللغة:

english

ملف:

PDF, 10.65 MB

0 / 0

english, 1983

42

Informatik und Mathematik

Informatik und Mathematik

Springer-Verlag Berlin Heidelberg

Roland Bulirsch (auth.), Prof. Dr. Manfred Broy (eds.)

عام:

1991

اللغة:

german

ملف:

PDF, 19.35 MB

0 / 0

german, 1991

43

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

K. Venkatesh Prasad, Thomas J. Giuli, David Watson (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

عام:

2008

اللغة:

english

ملف:

PDF, 7.17 MB

0 / 0

english, 2008

44

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

عام:

1983

اللغة:

english

ملف:

DJVU, 3.71 MB

0 / 0

english, 1983

45

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Manfred Broy (eds.)

عام:

1989

اللغة:

english

ملف:

PDF, 17.11 MB

0 / 0

english, 1989

46

agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems

agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems

Springer-Verlag Berlin Heidelberg

Dr. Eva Geisberger, Prof. Dr. Dr. h. c. Manfred Broy (auth.), Dr. Eva Geisberger, Prof. Dr. Dr. h. c. Manfred Broy (eds.)

عام:

2012

اللغة:

german

ملف:

PDF, 40.53 MB

0 / 0

german, 2012

47

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Richard S. Bird (auth.), Manfred Broy (eds.)

عام:

1987

اللغة:

english

ملف:

DJVU, 3.31 MB

0 / 0

english, 1987

48

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 13.82 MB

0 / 0

english, 2009

49

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Jayadev Misra (auth.), Manfred Broy (eds.)

عام:

1989

اللغة:

english

ملف:

DJVU, 3.95 MB

0 / 0

english, 1989

50

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

عام:

1993

اللغة:

english

ملف:

DJVU, 3.88 MB

0 / 0

english, 1993