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,58
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.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 103,73
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 115,76
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 110,38
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 250.
EUR 104,65
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
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.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 118,39
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 128,63
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 250.
EUR 118,13
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 126,83
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 250.
EUR 157,71
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 375 pages. 9.50x6.50x1.25 inches. In Stock.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 161,14
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 120,27
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHRD. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 191,71
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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 in concurrent and distributed systems, motivated by the importance of structured communication in modern software.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. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.