Á lódáil...

QR Code

Formal specification and software development

Sonraí Bibleagrafaíochta
Príomhúdar:	Bjorner, Diner
Údair Eile:	Jones, Cliff B.
Formáid:	Printed Book
Teanga:	English
Foilsithe:	New Jersy Prentice-hall international 1982
Sraith:	Printice-Hall International series in computer science
Ábhair:	Microprogramming > Computer science > Computer system

Míreanna Comhchosúla

EUROMICRO sympopsium on microprocessing and microprogramming
le: Stephen Winter and HArald Schumny
Foilsithe: (1988)

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

Software interpreters for microcomputers
le: Mcintire, Thomas C
Foilsithe: (1978)

Foundations of microprogramming architecture, software and applications
le: Agarwala, Ashok K
Foilsithe: (1976)

Microprogramming primer /
le: Katzan, Harry
Foilsithe: (1977)

Software debugging for microcomputers
le: Bruce, Robert C
Foilsithe: (1980)

Formal specification and software development
le: Bjorner,Dines

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

6801, 68701 and 6803 microcomputer programming and interfacing
le: Stauaard, Andrew C
Foilsithe: (1981)

Microprogramming techniques with sample programs
le: Evans, Stanley
Foilsithe: (1979)

Microprocessor based data acquisition system design
le: Kant, Krishna
Foilsithe: (1987)

components of computers
le: Mazda, F F

Microprocessor applications in business and industry
le: Whitbread, Martin
Foilsithe: (1979)

Microprocessors: with applications in process control
le: Ahson, S I
Foilsithe: (1987)

Microprogrammable computer architecture
le: Salibury, Alan B
Foilsithe: (1976)

Large scale integration
le: Lawson, Harold W
Foilsithe: (1979)

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

young person's guide to BBC BASIC
le: Milan, Michael
Foilsithe: (1984)

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

Advanced microprocessor architectures
le: Ciminiera, Luigi
Foilsithe: (1987)

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

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

Software
le: Alexandria
Foilsithe: (1985)

System software
le: Nithyashri, J
Foilsithe: (2010)

Introduction to system software
le: Dhamdhere, D M
Foilsithe: (1986)

Software tools
le: Kernighan, Briab W
Foilsithe: (1976)

Practical formal software engineering:wanting the software you get
le: Mills, Bruce
Foilsithe: (2009)

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

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

Software engineering
le: Bjorner, Dines
Foilsithe: (2007)

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

Specification of software systems /
le: Alagar, Vangalur S.
Foilsithe: (1998)

Design of Experiments A Realistic Approach
le: Tanenbaum, Andrew.S
Foilsithe: (1979)

System software an introduction to systems programming
le: Beck, Leland L
Foilsithe: (2014)

Software developers/
le: Sawyer Ben
Foilsithe: (1998)

Software engineering: Planning for change
le: Lamb, David Alex
Foilsithe: (1988)

Formal languages and compilation
le: Reghizzi, Stefano Crespi
Foilsithe: (2012)

Software testing : principles and practice /
le: Desikan, Srinivasan
Foilsithe: (2014)

Formal models in programming
le: Neuhold, E J
Foilsithe: (1985)

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