Articles liés à Algebraic Specification: Common Algebraic Specification...
Algebraic Specification: Common Algebraic Specification Language, Formal Specification, Formal Semantics of Programming Languages - Couverture souple
Résultats de recherche pour Algebraic Specification: Common Algebraic Specification...
Image d'archives
Algebraic Specification
impression à la demandeVendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 112 pp. Englisch. N° de réf. du vendeur 9786133215375
Acheter neuf
EUR 156
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Algebraic Specification : Common Algebraic Specification Language, Formal Specification, Formal Semantics of Programming Languages
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Algebraicspecification is a formal process of refining specifications tosystematically develop more efficient programs. If one considers analgebraic specification of the Booleans the constructors can be true andfalse. In that case all other connectives, such as ^ and _, may beconsidered to be additional functions. Alternatively, also thecombination of false and can be considered constructors. In that casetrue may be considered an additional function. In the context of thedescription of state and state change one may think of the sort as theset of possible states (not necessarily all of them can occur inpractice) and one may think of the functions as being useful fordescribing the state changes that may occur. N° de réf. du vendeur 9786133215375
Acheter neuf
EUR 157,87
Expédition à EUR 35
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Algebraic Specification
impression à la demandeVendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Algebraicspecification is a formal process of refining specifications tosystematically develop more efficient programs. If one considers analgebraic specification of the Booleans the constructors can be true andfalse. In that case all other connectives, such as ^ and _, may beconsidered to be additional functions. Alternatively, also thecombination of false and can be considered constructors. In that casetrue may be considered an additional function. In the context of thedescription of state and state change one may think of the sort as theset of possible states (not necessarily all of them can occur inpractice) and one may think of the functions as being useful fordescribing the state changes that may occur.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 112 pp. Englisch. N° de réf. du vendeur 9786133215375
Acheter neuf
EUR 156
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)