Kontakt
Wie einkaufen
Versand
Kaufberater
Englisch
460 b
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
/
Broschur
12.69
€
/
Broschur
16.99
€
/
Broschur
17.19
€
/
Broschur
6.39
€
This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non-trivial examples. They cover areas for which the B Method was originally conceived as well as the following novel areas: - data structures; - information management; - process control systems; - distributed systems. This volume will primarily be of interest to practitioners who either already use B and want to improve their program refinement techniques, or those who are considering using it and want to learn about its implementation. It will also provide useful background reading for students taking courses in the B Method, Formal Specification, or Refinement.
Informationen zum Buch
Englisch
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefertDas könnte Sie auch interessieren
/
Broschur
67.69
€
/
Broschur
22.49
€
/
Broschur
12.39
€
/
Broschur
6.99
€
/
Broschur
15.79
€
/
Hardcover
16.79
€
/
Hardcover
160.79
€
/
Hardcover
96.29
€
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?