logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science) - Dines Bjorner, Manfred Broy, Igor V. Pottosin
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science)
by: (author) (author) (author)
Format: kindle
ASIN: B000UIR67M
Publisher: Springer
Pages no: 445
Edition language: English
Bookstores:
Other editions (1)
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings - Dines Bjorner
Books by Manfred Broy
Control Flow and Data Flow: Concepts of ... Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School - Manfred Broy
Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science) - Manfred Broy, Stephan Merz, Katharina Spies
Methods of Programming: Selected Papers ... Methods of Programming: Selected Papers on the CIP-Project (Lecture Notes in Computer Science) - Manfred Broy, Martin Wirsing
Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security - W. Sitou and T. Hoare, Manfred Broy, W. Sitou, T. Hoare
Model-Based Testing of Reactive Systems: Advanced Lectures - Manfred Broy
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science) - Manfred Broy, Ketil Stxf8len
The Future of Software Engineering: Panel Discussions - Edgar G. Daylight, Sebastian Nanz, Erich Gamma, Niklaus Wirth, Michael A. Jackson, David L. Parnas, Barry Boehm, Andreas Zeller, Manfred Broy, Rustan Leino
Models, Algebras and Logic of Engineering Software - Manfred Broy
Program Design Calculi - Manfred Broy
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings (Lecture Notes in Computer Science) - Dines Bjorner, Manfred Broy, Alexandre V. Zamulin
Books by Igor V. Pottosin
Perspectives Of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 28, 1996; Proceedings (Lecture Notes In Computer Science) - Igor V. Pottosin, Dines Bjorner
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science) - Dines Bjorner, Manfred Broy, Igor V. Pottosin
Books by Dines Bjorner
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings (Lecture Notes in Computer Science) - Dines Bjorner, Manfred Broy, Alexandre V. Zamulin
Perspectives Of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 28, 1996; Proceedings (Lecture Notes In Computer Science) - Igor V. Pottosin, Dines Bjorner
Logics of Specification Languages - Dines Bjorner
Software Engineering 1: Abstraction and Modelling - Dines Bjorner
Software Engineering 3: Domains, Requirements, and Software Design - Dines Bjorner
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science) - Dines Bjorner, Manfred Broy, Igor V. Pottosin
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science) - Janis Barzdins, Dines Bjorner
Software Engineering 2: Specification Of Systems And Languages (Texts In Theoretical Computer Science. An Eatcs Series) - Dines Bjorner
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings - Dines Bjorner, Erich J. Neuhold, Cliff B. Jones, Michael Mac An Airchinnigh
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.