Lanean...

QR Kodea

Formal specification and software development

Xehetasun bibliografikoak
Egile nagusia:	Bjorner, Diner
Beste egile batzuk:	Jones, Cliff B.
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	New Jersy Prentice-hall international 1982
Saila:	Printice-Hall International series in computer science
Gaiak:	Microprogramming > Computer science > Computer system

Antzeko izenburuak

EUROMICRO sympopsium on microprocessing and microprogramming
nork: Stephen Winter and HArald Schumny
Argitaratua: (1988)

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

Software interpreters for microcomputers
nork: Mcintire, Thomas C
Argitaratua: (1978)

Foundations of microprogramming architecture, software and applications
nork: Agarwala, Ashok K
Argitaratua: (1976)

Microprogramming primer /
nork: Katzan, Harry
Argitaratua: (1977)

Software debugging for microcomputers
nork: Bruce, Robert C
Argitaratua: (1980)

Formal specification and software development
nork: Bjorner,Dines

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

6801, 68701 and 6803 microcomputer programming and interfacing
nork: Stauaard, Andrew C
Argitaratua: (1981)

Microprogramming techniques with sample programs
nork: Evans, Stanley
Argitaratua: (1979)

Microprocessor based data acquisition system design
nork: Kant, Krishna
Argitaratua: (1987)

components of computers
nork: Mazda, F F

Microprocessor applications in business and industry
nork: Whitbread, Martin
Argitaratua: (1979)

Microprocessors: with applications in process control
nork: Ahson, S I
Argitaratua: (1987)

Microprogrammable computer architecture
nork: Salibury, Alan B
Argitaratua: (1976)

Large scale integration
nork: Lawson, Harold W
Argitaratua: (1979)

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

young person's guide to BBC BASIC
nork: Milan, Michael
Argitaratua: (1984)

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

Advanced microprocessor architectures
nork: Ciminiera, Luigi
Argitaratua: (1987)

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

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

Software
nork: Alexandria
Argitaratua: (1985)

System software
nork: Nithyashri, J
Argitaratua: (2010)

Introduction to system software
nork: Dhamdhere, D M
Argitaratua: (1986)

Software tools
nork: Kernighan, Briab W
Argitaratua: (1976)

Practical formal software engineering:wanting the software you get
nork: Mills, Bruce
Argitaratua: (2009)

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

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

Software engineering
nork: Bjorner, Dines
Argitaratua: (2007)

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

Specification of software systems /
nork: Alagar, Vangalur S.
Argitaratua: (1998)

Design of Experiments A Realistic Approach
nork: Tanenbaum, Andrew.S
Argitaratua: (1979)

System software an introduction to systems programming
nork: Beck, Leland L
Argitaratua: (2014)

Software developers/
nork: Sawyer Ben
Argitaratua: (1998)

Software engineering: Planning for change
nork: Lamb, David Alex
Argitaratua: (1988)

Formal languages and compilation
nork: Reghizzi, Stefano Crespi
Argitaratua: (2012)

Software testing : principles and practice /
nork: Desikan, Srinivasan
Argitaratua: (2014)

Formal models in programming
nork: Neuhold, E J
Argitaratua: (1985)

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