Del 215

Mathematical Methods of Specification and Synthesis of Software Systems '85

Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

Häftad, Engelska, 1986

Av Wolfgang Bibel, Klaus P. Jantke

739 kr

Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

  • Utgivningsdatum1986-06-01
  • Mått216 x 279 x 15 mm
  • Vikt394 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor248
  • Upplaga1986
  • FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN9783540164449

Tillhör följande kategorier

Du kanske också är intresserad av

Mathematical Methods of Specification and Synthesis of Software Systems ‘85

Mathematical Methods of Specification and Synthesis of Software Systems ‘85

Wolfgang Bibel, Klaus P. Jantke

2 859 kr

Nonmonotonic and Inductive Logic

Nonmonotonic and Inductive Logic

Klaus P. Jantke, Peter H. Schmitt

719 kr

Discovery Science

Discovery Science

Nada Lavrač, Ljupco Todorovski, Klaus P. Jantke, Nada Lavrač, Nada Lavrac, Nada Lavra¿

719 kr

Nonmonotonic and Inductive Logic

Nonmonotonic and Inductive Logic

Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt

719 kr

Federation over the Web

Federation over the Web

Klaus P. Jantke, Aran Lunzer, Nicolas Spyratos, Yuzuru Tanaka

739 kr

Algorithmic Learning Theory

Algorithmic Learning Theory

Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori

719 kr

Recent Trends in Data Type Specification
Del 534

Recent Trends in Data Type Specification

Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel

739 kr

Analogical and Inductive Inference

Analogical and Inductive Inference

Klaus P. Jantke

699 kr

Algorithmic Learning Theory

Algorithmic Learning Theory

Setsuo Arikawa, Klaus P. Jantke

739 kr

Analogical and Inductive Inference

Analogical and Inductive Inference

Klaus P. Jantke

719 kr