Synopsis
This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification work taking place at DEC and MIT, it discusses the use of formal specifications in program development and introduces the notation of mathematical logic.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Larch: Languages and Tools for Formal Specification
Image d'archives
Larch: Languages and Tools for Formal Specification
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993
ISBN 10 : 3540940065
ISBN 13 : 9783540940067
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur F-924-464
Acheter D'occasion
EUR 17,49
Frais de port :
EUR 20,50
De France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Larch: Languages and Tools for Formal Specification
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993
ISBN 10 : 3540940065
ISBN 13 : 9783540940067
Neuf
Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26376002805
Acheter neuf
EUR 39,47
Frais de port :
EUR 3,43
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Larch: Languages and Tools for Formal Specification
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993
ISBN 10 : 3540940065
ISBN 13 : 9783540940067
Neuf
Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 371124010
Acheter neuf
EUR 38,42
Frais de port :
EUR 7,44
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Larch: Languages and Tools for Formal Specification
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993
ISBN 10 : 3540940065
ISBN 13 : 9783540940067
Neuf
Couverture rigide
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18376002815
Acheter neuf
EUR 40,07
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Larch: Languages and Tools for Formal Specification (Recent Research in Psychology)
Edité par
Springer 0, 1993
ISBN 10 : 3540940065
ISBN 13 : 9783540940067
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. N° de réf. du vendeur ERICA79035409400656
Acheter D'occasion
EUR 87,21
Frais de port :
EUR 28,61
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)