KI-Beratung Beta

Gutscheinbedingungen

**Gültig bis 03.11.2026 auf fremdsprachige Bücher online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.

  • Produktbild: The IOTA Programming System
  • Produktbild: The IOTA Programming System
Band 160

The IOTA Programming System A Modular Programming Environment

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.10.1983

Abbildungen

IX, 217 p.

Herausgeber

R. Nakajima + weitere

Verlag

Springer Berlin

Seitenzahl

217

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

359 g

Auflage

1983

Sprache

Englisch

ISBN

978-3-540-12693-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.10.1983

Abbildungen

IX, 217 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

217

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

359 g

Auflage

1983

Sprache

Englisch

ISBN

978-3-540-12693-5

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: The IOTA Programming System
  • Produktbild: The IOTA Programming System
  • 1. Language, logical foundation, verification.- 2. System supports for modular programming.- 3. Strategies and techniques for interactive proof.- 4. Supports for building modules, modulebase.- 5. Language processing.- 6. Verification system.- 7. Proof system.- 8. Supports for cooperative modular programming.- 9. Program development witht he IOTA system — KWIC example.