Loading...

QR Code

Formal specification and software development

Bibliografiske detaljer
Hovedforfatter:	Bjorner, Diner
Andre forfattere:	Jones, Cliff B.
Format:	Printed Book
Sprog:	English
Udgivet:	New Jersy Prentice-hall international 1982
Serier:	Printice-Hall International series in computer science
Fag:	Microprogramming > Computer science > Computer system

Lignende værker

EUROMICRO sympopsium on microprocessing and microprogramming
af: Stephen Winter and HArald Schumny
Udgivet: (1988)

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

Software interpreters for microcomputers
af: Mcintire, Thomas C
Udgivet: (1978)

Foundations of microprogramming architecture, software and applications
af: Agarwala, Ashok K
Udgivet: (1976)

Microprogramming primer /
af: Katzan, Harry
Udgivet: (1977)

Software debugging for microcomputers
af: Bruce, Robert C
Udgivet: (1980)

Formal specification and software development
af: Bjorner,Dines

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

6801, 68701 and 6803 microcomputer programming and interfacing
af: Stauaard, Andrew C
Udgivet: (1981)

Microprogramming techniques with sample programs
af: Evans, Stanley
Udgivet: (1979)

Microprocessor based data acquisition system design
af: Kant, Krishna
Udgivet: (1987)

components of computers
af: Mazda, F F

Microprocessor applications in business and industry
af: Whitbread, Martin
Udgivet: (1979)

Microprocessors: with applications in process control
af: Ahson, S I
Udgivet: (1987)

Microprogrammable computer architecture
af: Salibury, Alan B
Udgivet: (1976)

Large scale integration
af: Lawson, Harold W
Udgivet: (1979)

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

young person's guide to BBC BASIC
af: Milan, Michael
Udgivet: (1984)

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

Advanced microprocessor architectures
af: Ciminiera, Luigi
Udgivet: (1987)

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

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

Software
af: Alexandria
Udgivet: (1985)

System software
af: Nithyashri, J
Udgivet: (2010)

Introduction to system software
af: Dhamdhere, D M
Udgivet: (1986)

Software tools
af: Kernighan, Briab W
Udgivet: (1976)

Practical formal software engineering:wanting the software you get
af: Mills, Bruce
Udgivet: (2009)

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

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

Software engineering
af: Bjorner, Dines
Udgivet: (2007)

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

Specification of software systems /
af: Alagar, Vangalur S.
Udgivet: (1998)

Design of Experiments A Realistic Approach
af: Tanenbaum, Andrew.S
Udgivet: (1979)

System software an introduction to systems programming
af: Beck, Leland L
Udgivet: (2014)

Software developers/
af: Sawyer Ben
Udgivet: (1998)

Software engineering: Planning for change
af: Lamb, David Alex
Udgivet: (1988)

Formal languages and compilation
af: Reghizzi, Stefano Crespi
Udgivet: (2012)

Software testing : principles and practice /
af: Desikan, Srinivasan
Udgivet: (2014)

Formal models in programming
af: Neuhold, E J
Udgivet: (1985)

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