Produktbild
Wolfgang (Hrsg.) Bibel

Mathematical Methods of Specification and Synthesis of Software Systems '85

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

Buch

Verification of an alternating bit protocol by means of process algebra protocol.- Predicative programming revisited.- Some problems on inductive inference from positive data.- Language and example of knowledge-based programming.- Inductive inference hierarchies: Probabilistic VS pluralistic strategies.- Natural mathematical texts VS. programs.- An algebraic framework for inductive program synthesis.- Approximation logic.- Learning on the basis of a polynomial pattern synthesis algorithm.- The proof-checking component for the pleats programming system enabling specification of theories.- The METANET. A knowledge representation tool based on a… Mehr

CHF 100.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Jantke, Klaus P. (Hrsg.)
  • ISBN: 978-3-540-16444-9
  • EAN: 9783540164449
  • Produktnummer: 3246690
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 1986
  • Seitenangabe: 256 S.
  • Masse: H23.5 cm x B15.5 cm x D1.3 cm 394 g
  • Auflage: 1986
  • Abbildungen: Paperback
  • Gewicht: 394

17 weitere Werke von Wolfgang (Hrsg.) Bibel:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.