Nalaganje...

QR koda

Formal specification and software development

Bibliografske podrobnosti
Glavni avtor:	Bjorner, Diner
Drugi avtorji:	Jones, Cliff B.
Format:	Printed Book
Jezik:	English
Izdano:	New Jersy Prentice-hall international 1982
Serija:	Printice-Hall International series in computer science
Teme:	Microprogramming > Computer science > Computer system

Podobne knjige/članki

EUROMICRO sympopsium on microprocessing and microprogramming
od: Stephen Winter and HArald Schumny
Izdano: (1988)

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

Software interpreters for microcomputers
od: Mcintire, Thomas C
Izdano: (1978)

Foundations of microprogramming architecture, software and applications
od: Agarwala, Ashok K
Izdano: (1976)

Microprogramming primer /
od: Katzan, Harry
Izdano: (1977)

Software debugging for microcomputers
od: Bruce, Robert C
Izdano: (1980)

Formal specification and software development
od: Bjorner,Dines

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

6801, 68701 and 6803 microcomputer programming and interfacing
od: Stauaard, Andrew C
Izdano: (1981)

Microprogramming techniques with sample programs
od: Evans, Stanley
Izdano: (1979)

Microprocessor based data acquisition system design
od: Kant, Krishna
Izdano: (1987)

components of computers
od: Mazda, F F

Microprocessor applications in business and industry
od: Whitbread, Martin
Izdano: (1979)

Microprocessors: with applications in process control
od: Ahson, S I
Izdano: (1987)

Microprogrammable computer architecture
od: Salibury, Alan B
Izdano: (1976)

Large scale integration
od: Lawson, Harold W
Izdano: (1979)

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

young person's guide to BBC BASIC
od: Milan, Michael
Izdano: (1984)

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

Advanced microprocessor architectures
od: Ciminiera, Luigi
Izdano: (1987)

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

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

Software
od: Alexandria
Izdano: (1985)

System software
od: Nithyashri, J
Izdano: (2010)

Introduction to system software
od: Dhamdhere, D M
Izdano: (1986)

Software tools
od: Kernighan, Briab W
Izdano: (1976)

Practical formal software engineering:wanting the software you get
od: Mills, Bruce
Izdano: (2009)

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

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

Software engineering
od: Bjorner, Dines
Izdano: (2007)

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

Specification of software systems /
od: Alagar, Vangalur S.
Izdano: (1998)

Design of Experiments A Realistic Approach
od: Tanenbaum, Andrew.S
Izdano: (1979)

System software an introduction to systems programming
od: Beck, Leland L
Izdano: (2014)

Software developers/
od: Sawyer Ben
Izdano: (1998)

Software engineering: Planning for change
od: Lamb, David Alex
Izdano: (1988)

Formal languages and compilation
od: Reghizzi, Stefano Crespi
Izdano: (2012)

Software testing : principles and practice /
od: Desikan, Srinivasan
Izdano: (2014)

Formal models in programming
od: Neuhold, E J
Izdano: (1985)

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