Elements of software science | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Elements of software science / Maurice H. Halstead

資料種別:: 図書
出版情報:: New York : Elsevier, c1977
形態:: xiv, 127 p. ; 24 cm
シリーズ名:: Operating and programming systems series <BA06926409>
著者名:: Halstead, Maurice H. (Maurice Howard), 1918- <DA03273688>
ISBN:: 9780444002051 [0444002057]
9780444002150 [0444002154] (: pbk)
書誌ID:: BA07566400

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	"Elsevier computer science library." Bibliography: p. 120-124 Includes index
主題:	Computer software
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Software engineering (: pbk.) Sommerville, Ian Addison-Wesley	7 図書 Symbolic software for interactive descriptions of dynamic systems (: uk ; : us) Wilhelmij, G. Paul Pitman, Morgan Kaufmann
2 図書 Software engineering Thorin, Marc Butterworths	8 図書 Formal methods for software architectures : third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : … International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, … Springer
3 図書 A technique for software and systems design Lano, R. J. North-Holland Pub. Co. : sole distributors for the U.S.A. and Canada, Elsevier North-Holland Pub. Co.	9 図書 A scientist's and engineer's guide to workstations and supercomputers : coping with Unix[TM], RISC, vectors, and programming (: paper) Landau, Rubin H., Fink, Paul J., 1954- J. Wiley
4 図書 Protected mode software architecture Shanley, Tom, MindShare, Inc Addison-Wesley	10 図書 Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, … (: gw ; : us) Workshop on Mathematical Methods of Specification and Synthesis of Software Systems, Bibel, Wolfgang, 1938-, Jantke, … Springer-Verlag
5 図書 Software frameworks and embedded control systems Pasetti, Alessandro Springer	11 図書 Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, … International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, … Springer
6 図書 Artificial intelligence : applications in the future of software engineering Partridge, D. (Derek), 1945- E. Horwood, Hasted Press	12 図書 Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM-Moby … International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bernardo, Marco, … Springer

1

2

3

4

5

6

7

8

9

10

11

12