Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 46,44
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 56,60
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: New.
EUR 51,20
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
EUR 47,93
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 67,65
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
EUR 61,55
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
EUR 56,73
Cantidad disponible: 10 disponibles
Añadir al carritoCondición: New.
EUR 50,81
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por River Publishers Okt 2024, 2024
ISBN 10: 8770044279 ISBN 13: 9788770044271
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 62,98
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016.