熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 電子書(可複選) | |
| 其他(可複選) |
搜尋結果共 5 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
坦然脆弱，敢於脆弱：挖掘隱密的內在，轉化成堅強的力量 (電子書)
放下虛偽的勇敢，不再假裝自己很好， 想擁有一顆真正堅強的心，我們需要不斷經歷脆弱。 不再為了取悅他人而勉強，不再為了滿足期待而硬撐， 直視那些讓你感到害怕、傷痛的事情， 明白脆弱的原由並深入探索， ... more |
||
|
Modeling in Event-B: System and Software Engineering
A practical text suitable for an introductory or advanced course in formal methods, this book presen... more |
||
|
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
Egon B] orger Tribute to Egon B] orger on th the Occasion of his 60 Birthday 1 2 Jean-Raymond Abrial and Uwe Glasser...... more |
||
|
The B-Book: Assigning Programs to Meanings
definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of...... more |
||
|
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evalua... more |
