9788770044271 - behavioural types: from theory to tools (2 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (2)

  • Neu (2)
Mehr dazu

bis

Benutzerdefinierte Preisspanne (EUR)

bis

    • Sprache: Englisch

      Verlag: River Publishers, 2024

      8770044279 / 9788770044271

      • Softcover

      Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

      Verkäufer/-in mit 4 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 52,01

      EUR 7,62 Versand 
      Versand von Vereinigtes Königreich nach USA

      Anzahl: 3 verfügbar

      Zustand: New.

    • Weitere Bilder

      Sprache: Englisch

      Verlag: River Publishers, 2024

      8770044279 / 9788770044271

      • Softcover

      Anbieter: moluna, Greven, Deutschlandmoluna

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 51,05

      EUR 48,99 Versand 
      Versand von Deutschland nach USA

      Anzahl: Mehr als 20 verfügbar

      Zustand: New. Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication.