ISBN: 9786133070103 (4 résultats)
Edité par Omniscriptum Mär 2026, 2026
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 136,00
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponibles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 76 pp. Englisch.
Edité par Omniscriptum
- Couverture souple
- impression à la demande
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 143,03
EUR 35,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
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. B is atool-supported formal method based around AMN (Abstract MachineNotation), used in the development of computer software. It wasoriginally developed by Jean-Raymond Abrial in France and the UK. B isrelated to the Z notation (also originated by Abrial) and supportsdevelopment of programming language code from specifications. B has beenused in major safety-critical system applications in Europe (such as theParis Métro Line 14), and is attracting increasing interest in industry.It has robust, commercially available tool support for specificationdesign, proof and code generation.…
Edité par OmniScriptum, 2026
- Couverture souple
- impression à la demande
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 109,85
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponibles
Taschenbuch. Etat : Neu. B-Method | Formal Method, APCB, Abstract Semantic Graph | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133070103 | 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.…
Edité par Omniscriptum Mär 2026, 2026
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 136,00
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
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. B is atool-supported formal method based around AMN (Abstract MachineNotation), used in the development of computer software. It wasoriginally developed by Jean-Raymond Abrial in France and the UK. B isrelated to the Z notation (also originated by Abrial) and supportsdevelopment of programming language code from specifications. B has beenused in major safety-critical system applications in Europe (such as theParis Métro Line 14), and is attracting increasing interest in industry.It has robust, commercially available tool support for specificationdesign, proof and code generation.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 76 pp. Englisch. …
