Kontakt
Wie einkaufen
Versand
Kaufberater
Englisch
514 b
30 Tage für die Rückgabe der Ware
Kunden kauften auch
/
Broschur
15.09
€
/
Broschur
20.79
€
/
Broschur
20.89
€
/
Broschur
7.49
€
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
15.79
€
/
Broschur
71.69
€
/
Broschur
25.29
€
/
Broschur
15.39
€
/
Broschur
8.69
€
/
Hardcover
26.89
€
/
Hardcover
107.29
€
/
Hardcover
213.89
€
