Affiner la recherche

  • Livres (22)

En savoir plus

à

Fourchette de prix personnalisée (EUR)

à

Behavioural types (22 résultats)

Titre: 
Affiner les résultats avec une recherche avancée

  • Langue : anglais

    Edité par River Publishers -, 2024

    8770044279 / 9788770044271

    • Couverture souple

    Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 41,58

    EUR 7,76 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 5 disponibles

    paperback. Etat : New. Brand new book, sourced directly from publisher. Dispatch time is 7-8 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

  • Langue : anglais

    Edité par River Publishers, 2024

    8770044279 / 9788770044271

    • Couverture souple

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 48,37

    EUR 2,37 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 10 disponibles

    Etat : New.

  • Langue : anglais

    Edité par River Publishers, 2024

    8770044279 / 9788770044271

    • Couverture souple

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 48,50

    EUR 2,37 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 10 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par River Publishers, 2024

    8770044279 / 9788770044271

    • Couverture souple

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 44,64

    EUR 17,94 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 10 disponibles

    Etat : New.

  • Langue : anglais

    Edité par River Publishers, 2024

    8770044279 / 9788770044271

    • Couverture souple

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 49,46

    EUR 17,94 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 10 disponibles

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par River Publishers, 2024

    8770044279 / 9788770044271

    • Couverture souple

    Vendeur : moluna, Greven, Allemagnemoluna

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 51,05

    EUR 48,99 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : 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.

  • Langue : anglais

    Edité par River Publishers Okt 2024, 2024

    8770044279 / 9788770044271

    • Couverture souple

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 68,02

    EUR 35,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponibles

    Taschenbuch. Etat : Neu. Neuware - 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.…

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 107,88

    EUR 2,37 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide

    Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 117,75

    EUR 2,37 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 1 disponible

    Etat : New.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide

    Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 112,18

    EUR 7,77 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 3 disponibles

    Etat : New. pp. 250.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 107,97

    EUR 17,94 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible

    Etat : As New. Unread book in perfect condition.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide

    Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 127,27

    EUR 3,59 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : 3 disponibles

    Etat : New. pp. 250.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide

    Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 130,52

    EUR 2,70 expédition 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide

    Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 119,05

    EUR 17,94 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible

    Etat : New.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide

    Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 126,47

    EUR 9,95 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 3 disponibles

    Etat : New. pp. 250.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide

    Vendeur : moluna, Greven, Allemagnemoluna

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 93,92

    EUR 48,99 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 134,50

    EUR 17,87 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In English.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide

    Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 162,31

    EUR 14,95 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 2 disponibles

    Hardcover. Etat : Brand New. 375 pages. 9.50x6.50x1.25 inches. In Stock.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide

    Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 218,01

    EUR 29,90 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible

    Hardcover. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide
    • impression à la demande

    Vendeur : PBShop.store US, Wood Dale, IL, Etats-UnisPBShop.store US

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 130,61

     Frais de port gratuits 
    Expédition nationale : Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    HRD. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide
    • impression à la demande

    Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 124,10

    EUR 7,02 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    HRD. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

  • Langue : anglais

    Edité par River Publishers, 2017

    8793519826 / 9788793519824

    • Couverture rigide
    • impression à la demande

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 208,13

    EUR 35,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible

    Buch. Etat : 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.…