Mathematical Methods of Specification and Synthesis of Software Systems ‘85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985

Name: Mathematical Methods of Specification and Synthesis of Software Systems ‘85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985
Price: 193.99 CAD
Availability: InStock
Author: Klaus P. Jantke
ISBN: 9783112733400

Édition : Wolfgang Bibel , Klaus P. Jantke

31 décembre 1986

193,99 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 970 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

250

Mathematical Research

Publié par: De Gruyter

Dimensions à l’expédition: 9" H x 7" W x 1" L

ISBN: 9783112733400

Using Toolpack Software Tools: Proceedings of the Ispra-Course Held at the Joint Research Centre, Ispra, Italy, 17-21 November 1986

Couverture souple
71,50 $
Lessons in System Safety: Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK 2000

Couverture souple
71,50 $
SOFTWARE ENGINEERING ESSENTIALS, Volume I: The Development Process

Merlin Dorfman Couverture souple
64,95 $
Software Engineering for Real-time Systems Volume 1: Foundations

Jim Cooling Couverture souple
22,50 $
Open Source Systems: IFIP Working Group 2.13 Foundation on Open Source Software, June 8-10, 2006, Como, Italy

Couverture souple
142,95 $
2 formats offerts
Artificial Intelligence and Software Testing: Building systems you can trust

Adam Leon Smith Couverture souple
54,78 $
2 formats offerts
Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India, December 21-23, 1988. Proceedings

Couverture souple
71,50 $
Enterprise Applications Unlocked: Low Code No Code

Sriram Ganeshan Livre numérique Kobo
5,05 $
Learn iOS Application Development: Take Your Mobile App Development Skills to the Next Level with Swift and Xcode (English Edition)

Rudra S Misra Livre numérique Kobo
16,99 $ ~~Réduction sur le prix courant 20,48 $ à~~
Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings

Couverture souple
71,50 $
Design in Object Technology 2: The Annotated Class of 1994

Alistair Cockburn Couverture souple
25,99 $
Software Conflict 2.0: The Art and Science of Software Engineering

Robert L Glass Couverture souple
32,50 $
Hardware-dependent Software: A Classical Approach

Thomas Lehmann Livre numérique Kobo
25,99 $
An Introduction to Scrum: Understanding and Applying the Software

Ted Owens Livre numérique Kobo
4,99 $ ~~Réduction sur le prix courant 5,47 $ à~~
Reach Zero Defects In Your Software: Empirical Study

Petra Unmuessig Couverture souple
8,11 $
An Introduction to Scrum: Understanding and Applying the Software

Ted Owens Couverture souple
10,16 $
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Tiziana Margaria Couverture souple
109,50 $
2 formats offerts
The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Mike Hinchey Couverture souple
109,50 $
2 formats offerts
Beyond Redundancy: How Geographic Redundancy Can Improve Service Availability and Reliability of Computer-Based Systems

Eric Bauer Couverture rigide
140,95 $
2 formats offerts
Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings

Couverture souple
71,50 $

Évaluation éditoriale

wolfgang bibel

Auteur

Selforganization by Nonlinear Irreversible Processes: Proceedings Of The Third International Conference Kuhlungsborn, Gdr, March 18-22, 1985

Werner Ebeling Couverture souple
160,95 $
Optimization and Operations Research: Proceedings of a Workshop Held at the University of Bonn, October 2-8, 1977

Couverture souple
142,95 $
Fuzzy Sets Applications, Methodological Approaches, and Results: Proceedings of the International Workshop on Fuzzy Sets Applications cosponsored by IIASA and convened in cooperation with IAEA held on the Wartburg, Eisenach (GDR) at March 3–8, 1985

Couverture rigide
193,99 $
Production Theory: Proceedings of an International Seminar Held at the University at Karlsruhe May - July 1973

Couverture souple
142,95 $
Enhanced Material, Parts Optimization and Process Intensification: Proceedings of the First International Joint Conference on Enhanced Material and Part Optimization and Process Intensification, EMPOrIA 2020, May 19-20, 2020, Aachen, Germany

Uwe Reisgen Couverture souple
248,50 $
2 formats offerts
Biomechanics: Basic and Applied Research: Selected Proceedings of the Fifth Meeting of the European Society of Biomechanics, September 8-10, 1986, Berlin, F.R.G.

Couverture souple
428,95 $
2 formats offerts
Constructive Methods for the Practical Treatment of Integral Equations: Proceedings of the Conference at the Mathematisches Forschungsinstitut Oberwolfach, June 24-30, 1984

G Hämmerlin Couverture souple
71,50 $
Modelling Database Dynamics: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19-22 October 1992

Couverture souple
91,44 $
Numerical Challenges in Lattice Quantum Chromodynamics: Joint Interdisciplinary Workshop of John von Neumann Institute for Computing, Julich, and Institute of Applied Computer Science, Wuppertal University, August 1999

Andreas Frommer Couverture souple
160,95 $
Modern Developments in Multivariate Approximation: 5th International Conference, Witten-Bommerholz (Germany), September 2002

Werner Haussmann Couverture rigide
160,95 $
Lotka-Volterra-Approach to Cooperation and Competition in Dynamic Systems: Proceedings of the 5th Meeting of UNESCO’s Working Group on System Theory held on the Wartburg, Eisenach (GDR) March 5–9, 1984

Couverture rigide
193,99 $
Two-Dimensional Systems: Physics and New Devices: Proceedings of the International Winter School, Mauterndorf, Austria, February 24-28, 1986

Günther Bauer Couverture souple
80,50 $
MACINTER: Selected papers from workshops organized by the Network of Man-Computer Interaction Research (MACINTER) of the International Union of Psychological Science (IUPsyS)

Couverture rigide
164,99 $
Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

Andy Sch Couverture souple
160,95 $
Convergence Structures 1984: Proceedings of the Conference on Convergence held in Bechyne (Czechoslovakia) September 24–28, 1984

Couverture rigide
193,99 $
Fieldbus Technology: Systems Integration, Networking, and Engineering Proceedings of the Fieldbus Conference FeT'99 in Magdeburg, Federal Republic of Germany, September 23-24,1999

D. Dietrich Couverture souple
160,95 $
Scientific Computing In Electrical Engineering: Scee 2016, St. Wolfgang, Austria, October 2016

Ulrich Langer Couverture souple
160,95 $
3 formats offerts
Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Hubert B. Keller Couverture souple
72,95 $
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Couverture souple
77,95 $
Engineering Information in Data Bases and Knowledge Based Systems: Techno-Data ’90. Proceedings of the International Conference Techno-Data ’90 held in Berlin, December 4–6, 1990

Couverture rigide
193,99 $

Mathematical Methods of Specification and Synthesis of Software Systems ‘85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985

Description

Vous aimerez peut-être aussi

Using Toolpack Software Tools: Proceedings of the Ispra-Course Held at the Joint Research Centre, Ispra, Italy, 17-21 November 1986

Lessons in System Safety: Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK 2000

SOFTWARE ENGINEERING ESSENTIALS, Volume I: The Development Process

Software Engineering for Real-time Systems Volume 1: Foundations

Open Source Systems: IFIP Working Group 2.13 Foundation on Open Source Software, June 8-10, 2006, Como, Italy

Artificial Intelligence and Software Testing: Building systems you can trust

Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India, December 21-23, 1988. Proceedings

Enterprise Applications Unlocked: Low Code No Code

Learn iOS Application Development: Take Your Mobile App Development Skills to the Next Level with Swift and Xcode (English Edition)

Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings

Design in Object Technology 2: The Annotated Class of 1994

Software Conflict 2.0: The Art and Science of Software Engineering

Hardware-dependent Software: A Classical Approach

An Introduction to Scrum: Understanding and Applying the Software

Reach Zero Defects In Your Software: Empirical Study

An Introduction to Scrum: Understanding and Applying the Software

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Beyond Redundancy: How Geographic Redundancy Can Improve Service Availability and Reliability of Computer-Based Systems

Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Selforganization by Nonlinear Irreversible Processes: Proceedings Of The Third International Conference Kuhlungsborn, Gdr, March 18-22, 1985

Optimization and Operations Research: Proceedings of a Workshop Held at the University of Bonn, October 2-8, 1977

Fuzzy Sets Applications, Methodological Approaches, and Results: Proceedings of the International Workshop on Fuzzy Sets Applications cosponsored by IIASA and convened in cooperation with IAEA held on the Wartburg, Eisenach (GDR) at March 3–8, 1985

Production Theory: Proceedings of an International Seminar Held at the University at Karlsruhe May - July 1973

Enhanced Material, Parts Optimization and Process Intensification: Proceedings of the First International Joint Conference on Enhanced Material and Part Optimization and Process Intensification, EMPOrIA 2020, May 19-20, 2020, Aachen, Germany

Biomechanics: Basic and Applied Research: Selected Proceedings of the Fifth Meeting of the European Society of Biomechanics, September 8-10, 1986, Berlin, F.R.G.

Constructive Methods for the Practical Treatment of Integral Equations: Proceedings of the Conference at the Mathematisches Forschungsinstitut Oberwolfach, June 24-30, 1984

Modelling Database Dynamics: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19-22 October 1992

Numerical Challenges in Lattice Quantum Chromodynamics: Joint Interdisciplinary Workshop of John von Neumann Institute for Computing, Julich, and Institute of Applied Computer Science, Wuppertal University, August 1999

Modern Developments in Multivariate Approximation: 5th International Conference, Witten-Bommerholz (Germany), September 2002

Lotka-Volterra-Approach to Cooperation and Competition in Dynamic Systems: Proceedings of the 5th Meeting of UNESCO’s Working Group on System Theory held on the Wartburg, Eisenach (GDR) March 5–9, 1984

Two-Dimensional Systems: Physics and New Devices: Proceedings of the International Winter School, Mauterndorf, Austria, February 24-28, 1986

MACINTER: Selected papers from workshops organized by the Network of Man-Computer Interaction Research (MACINTER) of the International Union of Psychological Science (IUPsyS)

Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

Convergence Structures 1984: Proceedings of the Conference on Convergence held in Bechyne (Czechoslovakia) September 24–28, 1984

Fieldbus Technology: Systems Integration, Networking, and Engineering Proceedings of the Fieldbus Conference FeT'99 in Magdeburg, Federal Republic of Germany, September 23-24,1999

Scientific Computing In Electrical Engineering: Scee 2016, St. Wolfgang, Austria, October 2016

Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)

Engineering Information in Data Bases and Knowledge Based Systems: Techno-Data ’90. Proceedings of the International Conference Techno-Data ’90 held in Berlin, December 4–6, 1990