Extended ML: Wide-Spectrum Language, Formal Specification, Formal Semantics of Programming Languages - Couverture souple
Résultats de recherche pour Extended ML: Wide-Spectrum Language, Formal Specification,...
Image fournie par le vendeur
Extended ML
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 104 pp. Englisch. N° de réf. du vendeur 9786133157842
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
Extended ML | Wide-Spectrum Language, Formal Specification, Formal Semantics of Programming Languages
impression à la demandeVendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Extended ML | Wide-Spectrum Language, Formal Specification, Formal Semantics of Programming Languages | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133157842 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. N° de réf. du vendeur 134889012
Acheter neuf
EUR 125,30
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Extended ML
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. Extended ML is awide-spectrum language covering both specification and implementationand based on the ML programming language. It extends the syntax of ML toinclude axioms, which need not be executable but can rigorously specifythe behavior of the program. With this addition the language can be usedfor stepwise refinement, proceeding gradually from an initial formalspecification to eventually yield an executable Standard ML program.Correctness of the final executable SML program with respect to theoriginal specification can then be established by proving thecorrectness of each of the refinement steps. Extended ML is used forresearch into and teaching of formal program development andspecification, and research into automatic program verification.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 104 pp. Englisch. N° de réf. du vendeur 9786133157842
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)
Image fournie par le vendeur
Extended ML : Wide-Spectrum 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. N° de réf. du vendeur 9786133157842
Acheter neuf
EUR 157,87
Expédition à EUR 60,87
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)