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

Inbunden, Engelska, 1986

Av Wolfgang Bibel, Klaus P. Jantke

2 849 kr

Beställningsvara. Skickas inom 3-6 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems ‘85".

Produktinformation

  • Utgivningsdatum1986-12-31
  • Mått170 x 240 x 20 mm
  • Vikt602 g
  • FormatInbunden
  • SpråkEngelska
  • SerieMathematical Research
  • Antal sidor250
  • Upplaga86001
  • FörlagDe Gruyter
  • ISBN9783112733400

Tillhör följande kategorier

Du kanske också är intresserad av

Factorization of Measurable Matrix Functions

Factorization of Measurable Matrix Functions

G. S. Litvinchuk, I. M. Spitkovskii, G. S. I. M. Litvinchuk Spitkovskii, Georg Heinig

1 999 kr

Advances in Mathematical Optimization

Advances in Mathematical Optimization

J. Guddat et al., J. Guddat Et Al

2 039 kr

Systems Analysis and Simulation 1988, I: Theory and Foundations. Proceedings of the International Symposium held in Berlin (GDR), September 12–16, 1988

Systems Analysis and Simulation 1988, I: Theory and Foundations. Proceedings of the International Symposium held in Berlin (GDR), September 12–16, 1988

Achim Sydow, Spyros G. Tzafestas, Robert Vichnevetsky

2 559 kr

Model Theoretic Oriented Approach to Partial Algebras

Model Theoretic Oriented Approach to Partial Algebras

P. Burmeister

2 769 kr

Andreotti-Grauert Theory by Integral Formulas

Andreotti-Grauert Theory by Integral Formulas

G. M. Henkin, J. Leiterer, G. M. J. Henkin Leiterer

2 039 kr

Structural Induction on Partial Algebras, II

Structural Induction on Partial Algebras, II

H. Reichel

2 349 kr

Systems Analysis and Simulation 1988, II

Systems Analysis and Simulation 1988, II

A. Sydow, S. G. Tzafestas, R. Vichnevetsky

2 559 kr

Continual Means and Boundary Value Problems in Function Spaces

Continual Means and Boundary Value Problems in Function Spaces

E. M. Polishchuk

2 039 kr

Multivariable Control

Multivariable Control

K. J. Reinschke

2 039 kr

Computer Analysis of Images and Patterns

Computer Analysis of Images and Patterns

Klaus Voss, Dmitry Chetverikov, Gerald Sommer

2 039 kr