Načítá se...

QR kód

Formal specification and software development

Podrobná bibliografie
Hlavní autor:	Bjorner, Diner
Další autoři:	Jones, Cliff B.
Médium:	Printed Book
Jazyk:	English
Vydáno:	New Jersy Prentice-hall international 1982
Edice:	Printice-Hall International series in computer science
Témata:	Microprogramming > Computer science > Computer system

Podobné jednotky

Načítá se...

EUROMICRO sympopsium on microprocessing and microprogramming
Autor: Stephen Winter and HArald Schumny
Vydáno: (1988)

Načítá se...

Microprogrammed control and reliable design of small computers
Autor: Geroge D.Kraft
Vydáno: (1981)

Načítá se...

Software interpreters for microcomputers
Autor: Mcintire, Thomas C
Vydáno: (1978)

Načítá se...

Foundations of microprogramming architecture, software and applications
Autor: Agarwala, Ashok K
Vydáno: (1976)

Načítá se...

Microprogramming primer /
Autor: Katzan, Harry
Vydáno: (1977)

Načítá se...

Software debugging for microcomputers
Autor: Bruce, Robert C
Vydáno: (1980)

Načítá se...

Formal specification and software development
Autor: Bjorner,Dines

Načítá se...

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

Načítá se...

6801, 68701 and 6803 microcomputer programming and interfacing
Autor: Stauaard, Andrew C
Vydáno: (1981)

Načítá se...

Microprogramming techniques with sample programs
Autor: Evans, Stanley
Vydáno: (1979)

Načítá se...

Microprocessor based data acquisition system design
Autor: Kant, Krishna
Vydáno: (1987)

Načítá se...

components of computers
Autor: Mazda, F F

Načítá se...

Microprocessor applications in business and industry
Autor: Whitbread, Martin
Vydáno: (1979)

Načítá se...

Microprocessors: with applications in process control
Autor: Ahson, S I
Vydáno: (1987)

Načítá se...

Microprogrammable computer architecture
Autor: Salibury, Alan B
Vydáno: (1976)

Načítá se...

Large scale integration
Autor: Lawson, Harold W
Vydáno: (1979)

Načítá se...

Microprocessor architecture, programming and applications with the 8085/8080A
Autor: Gaonkar, Ramesh S.
Vydáno: (1987)

Načítá se...

young person's guide to BBC BASIC
Autor: Milan, Michael
Vydáno: (1984)

Načítá se...

Formal methods of program verification and specification
Autor: H K Berg, a další
Vydáno: (1982)

Načítá se...

Advanced microprocessor architectures
Autor: Ciminiera, Luigi
Vydáno: (1987)

Načítá se...

Microprocessors and microcomputers: one chip controllers to high end systems
Autor: Capece, Raymond P
Vydáno: (1981)

Načítá se...

Larch: languages and tools for formal specification
Autor: Guttag, John V, a další
Vydáno: (1993)

Načítá se...

Software
Autor: Alexandria
Vydáno: (1985)

Načítá se...

System software
Autor: Nithyashri, J
Vydáno: (2010)

Načítá se...

Introduction to system software
Autor: Dhamdhere, D M
Vydáno: (1986)

Načítá se...

Software tools
Autor: Kernighan, Briab W
Vydáno: (1976)

Načítá se...

Practical formal software engineering:wanting the software you get
Autor: Mills, Bruce
Vydáno: (2009)

Načítá se...

Microprocessor theory and applications with 68000/68020 and pentium
Autor: Rafiquzzaman, M
Vydáno: (2008)

Načítá se...

Software Engineering 2 : specification of systems and languages /
Autor: Bjørner, Dines
Vydáno: (2006)

Načítá se...

Software engineering
Autor: Bjorner, Dines
Vydáno: (2007)

Načítá se...

Generating software from specifications
Autor: Kastens, Uwe; Author, a další
Vydáno: (2008)

Načítá se...

Specification of software systems /
Autor: Alagar, Vangalur S.
Vydáno: (1998)

Načítá se...

Design of Experiments A Realistic Approach
Autor: Tanenbaum, Andrew.S
Vydáno: (1979)

Načítá se...

System software an introduction to systems programming
Autor: Beck, Leland L
Vydáno: (2014)

Načítá se...

Software developers/
Autor: Sawyer Ben
Vydáno: (1998)

Načítá se...

Software engineering: Planning for change
Autor: Lamb, David Alex
Vydáno: (1988)

Načítá se...

Formal languages and compilation
Autor: Reghizzi, Stefano Crespi
Vydáno: (2012)

Načítá se...

Software testing : principles and practice /
Autor: Desikan, Srinivasan
Vydáno: (2014)

Načítá se...

Formal models in programming
Autor: Neuhold, E J
Vydáno: (1985)

Načítá se...

Object oriented software development Engineering software for reuse /
Autor: Mcgregor, John Dand
Vydáno: (1992)