Llwytho...

Côd QR

Formal specification and software development

Manylion Llyfryddiaeth
Prif Awdur:	Bjorner, Diner
Awduron Eraill:	Jones, Cliff B.
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	New Jersy Prentice-hall international 1982
Cyfres:	Printice-Hall International series in computer science
Pynciau:	Microprogramming > Computer science > Computer system

Eitemau Tebyg

EUROMICRO sympopsium on microprocessing and microprogramming
gan: Stephen Winter and HArald Schumny
Cyhoeddwyd: (1988)

Microprogrammed control and reliable design of small computers
gan: Geroge D.Kraft
Cyhoeddwyd: (1981)

Software interpreters for microcomputers
gan: Mcintire, Thomas C
Cyhoeddwyd: (1978)

Foundations of microprogramming architecture, software and applications
gan: Agarwala, Ashok K
Cyhoeddwyd: (1976)

Microprogramming primer /
gan: Katzan, Harry
Cyhoeddwyd: (1977)

Software debugging for microcomputers
gan: Bruce, Robert C
Cyhoeddwyd: (1980)

Formal specification and software development
gan: Bjorner,Dines

Microprocessor systems: software, firmware and hardware 6th Euromicro symposium on microprocessing and microprogramming September 16-18, 1980: London.:
Cyhoeddwyd: (1980)

6801, 68701 and 6803 microcomputer programming and interfacing
gan: Stauaard, Andrew C
Cyhoeddwyd: (1981)

Microprogramming techniques with sample programs
gan: Evans, Stanley
Cyhoeddwyd: (1979)

Microprocessor based data acquisition system design
gan: Kant, Krishna
Cyhoeddwyd: (1987)

components of computers
gan: Mazda, F F

Microprocessor applications in business and industry
gan: Whitbread, Martin
Cyhoeddwyd: (1979)

Microprocessors: with applications in process control
gan: Ahson, S I
Cyhoeddwyd: (1987)

Microprogrammable computer architecture
gan: Salibury, Alan B
Cyhoeddwyd: (1976)

Large scale integration
gan: Lawson, Harold W
Cyhoeddwyd: (1979)

Microprocessor architecture, programming and applications with the 8085/8080A
gan: Gaonkar, Ramesh S.
Cyhoeddwyd: (1987)

young person's guide to BBC BASIC
gan: Milan, Michael
Cyhoeddwyd: (1984)

Formal methods of program verification and specification
gan: H K Berg, et al.
Cyhoeddwyd: (1982)

Advanced microprocessor architectures
gan: Ciminiera, Luigi
Cyhoeddwyd: (1987)

Microprocessors and microcomputers: one chip controllers to high end systems
gan: Capece, Raymond P
Cyhoeddwyd: (1981)

Larch: languages and tools for formal specification
gan: Guttag, John V, et al.
Cyhoeddwyd: (1993)

Software
gan: Alexandria
Cyhoeddwyd: (1985)

System software
gan: Nithyashri, J
Cyhoeddwyd: (2010)

Introduction to system software
gan: Dhamdhere, D M
Cyhoeddwyd: (1986)

Software tools
gan: Kernighan, Briab W
Cyhoeddwyd: (1976)

Practical formal software engineering:wanting the software you get
gan: Mills, Bruce
Cyhoeddwyd: (2009)

Microprocessor theory and applications with 68000/68020 and pentium
gan: Rafiquzzaman, M
Cyhoeddwyd: (2008)

Software Engineering 2 : specification of systems and languages /
gan: Bjørner, Dines
Cyhoeddwyd: (2006)

Software engineering
gan: Bjorner, Dines
Cyhoeddwyd: (2007)

Generating software from specifications
gan: Kastens, Uwe; Author, et al.
Cyhoeddwyd: (2008)

Specification of software systems /
gan: Alagar, Vangalur S.
Cyhoeddwyd: (1998)

Design of Experiments A Realistic Approach
gan: Tanenbaum, Andrew.S
Cyhoeddwyd: (1979)

System software an introduction to systems programming
gan: Beck, Leland L
Cyhoeddwyd: (2014)

Software developers/
gan: Sawyer Ben
Cyhoeddwyd: (1998)

Software engineering: Planning for change
gan: Lamb, David Alex
Cyhoeddwyd: (1988)

Formal languages and compilation
gan: Reghizzi, Stefano Crespi
Cyhoeddwyd: (2012)

Software testing : principles and practice /
gan: Desikan, Srinivasan
Cyhoeddwyd: (2014)

Formal models in programming
gan: Neuhold, E J
Cyhoeddwyd: (1985)

Object oriented software development Engineering software for reuse /
gan: Mcgregor, John Dand
Cyhoeddwyd: (1992)