Đang tải...

Mã QR

Formal specification and software development

Chi tiết về thư mục
Tác giả chính:	Bjorner, Diner
Tác giả khác:	Jones, Cliff B.
Định dạng:	Printed Book
Ngôn ngữ:	English
Được phát hành:	New Jersy Prentice-hall international 1982
Loạt:	Printice-Hall International series in computer science
Những chủ đề:	Microprogramming > Computer science > Computer system

Những quyển sách tương tự

EUROMICRO sympopsium on microprocessing and microprogramming
Bằng: Stephen Winter and HArald Schumny
Được phát hành: (1988)

Microprogrammed control and reliable design of small computers
Bằng: Geroge D.Kraft
Được phát hành: (1981)

Software interpreters for microcomputers
Bằng: Mcintire, Thomas C
Được phát hành: (1978)

Foundations of microprogramming architecture, software and applications
Bằng: Agarwala, Ashok K
Được phát hành: (1976)

Microprogramming primer /
Bằng: Katzan, Harry
Được phát hành: (1977)

Software debugging for microcomputers
Bằng: Bruce, Robert C
Được phát hành: (1980)

Formal specification and software development
Bằng: Bjorner,Dines

Microprocessor systems: software, firmware and hardware 6th Euromicro symposium on microprocessing and microprogramming September 16-18, 1980: London.:
Được phát hành: (1980)

6801, 68701 and 6803 microcomputer programming and interfacing
Bằng: Stauaard, Andrew C
Được phát hành: (1981)

Microprogramming techniques with sample programs
Bằng: Evans, Stanley
Được phát hành: (1979)

Microprocessor based data acquisition system design
Bằng: Kant, Krishna
Được phát hành: (1987)

components of computers
Bằng: Mazda, F F

Microprocessor applications in business and industry
Bằng: Whitbread, Martin
Được phát hành: (1979)

Microprocessors: with applications in process control
Bằng: Ahson, S I
Được phát hành: (1987)

Microprogrammable computer architecture
Bằng: Salibury, Alan B
Được phát hành: (1976)

Large scale integration
Bằng: Lawson, Harold W
Được phát hành: (1979)

Microprocessor architecture, programming and applications with the 8085/8080A
Bằng: Gaonkar, Ramesh S.
Được phát hành: (1987)

young person's guide to BBC BASIC
Bằng: Milan, Michael
Được phát hành: (1984)

Formal methods of program verification and specification
Bằng: H K Berg, et al.
Được phát hành: (1982)

Advanced microprocessor architectures
Bằng: Ciminiera, Luigi
Được phát hành: (1987)

Microprocessors and microcomputers: one chip controllers to high end systems
Bằng: Capece, Raymond P
Được phát hành: (1981)

Larch: languages and tools for formal specification
Bằng: Guttag, John V, et al.
Được phát hành: (1993)

Software
Bằng: Alexandria
Được phát hành: (1985)

System software
Bằng: Nithyashri, J
Được phát hành: (2010)

Introduction to system software
Bằng: Dhamdhere, D M
Được phát hành: (1986)

Software tools
Bằng: Kernighan, Briab W
Được phát hành: (1976)

Practical formal software engineering:wanting the software you get
Bằng: Mills, Bruce
Được phát hành: (2009)

Microprocessor theory and applications with 68000/68020 and pentium
Bằng: Rafiquzzaman, M
Được phát hành: (2008)

Software Engineering 2 : specification of systems and languages /
Bằng: Bjørner, Dines
Được phát hành: (2006)

Software engineering
Bằng: Bjorner, Dines
Được phát hành: (2007)

Generating software from specifications
Bằng: Kastens, Uwe; Author, et al.
Được phát hành: (2008)

Specification of software systems /
Bằng: Alagar, Vangalur S.
Được phát hành: (1998)

Design of Experiments A Realistic Approach
Bằng: Tanenbaum, Andrew.S
Được phát hành: (1979)

System software an introduction to systems programming
Bằng: Beck, Leland L
Được phát hành: (2014)

Software developers/
Bằng: Sawyer Ben
Được phát hành: (1998)

Software engineering: Planning for change
Bằng: Lamb, David Alex
Được phát hành: (1988)

Formal languages and compilation
Bằng: Reghizzi, Stefano Crespi
Được phát hành: (2012)

Software testing : principles and practice /
Bằng: Desikan, Srinivasan
Được phát hành: (2014)

Formal models in programming
Bằng: Neuhold, E J
Được phát hành: (1985)

Object oriented software development Engineering software for reuse /
Bằng: Mcgregor, John Dand
Được phát hành: (1992)