Yüklüyor......

QR Kod

Formal specification and software development

Detaylı Bibliyografya
Yazar:	Bjorner, Diner
Diğer Yazarlar:	Jones, Cliff B.
Materyal Türü:	Printed Book
Dil:	English
Baskı/Yayın Bilgisi:	New Jersy Prentice-hall international 1982
Seri Bilgileri:	Printice-Hall International series in computer science
Konular:	Microprogramming > Computer science > Computer system

Benzer Materyaller

Yüklüyor......

EUROMICRO sympopsium on microprocessing and microprogramming
Yazar:: Stephen Winter and HArald Schumny
Baskı/Yayın Bilgisi: (1988)

Yüklüyor......

Microprogrammed control and reliable design of small computers
Yazar:: Geroge D.Kraft
Baskı/Yayın Bilgisi: (1981)

Yüklüyor......

Software interpreters for microcomputers
Yazar:: Mcintire, Thomas C
Baskı/Yayın Bilgisi: (1978)

Yüklüyor......

Foundations of microprogramming architecture, software and applications
Yazar:: Agarwala, Ashok K
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

Microprogramming primer /
Yazar:: Katzan, Harry
Baskı/Yayın Bilgisi: (1977)

Yüklüyor......

Software debugging for microcomputers
Yazar:: Bruce, Robert C
Baskı/Yayın Bilgisi: (1980)

Yüklüyor......

Formal specification and software development
Yazar:: Bjorner,Dines

Yüklüyor......

Microprocessor systems: software, firmware and hardware 6th Euromicro symposium on microprocessing and microprogramming September 16-18, 1980: London.:
Baskı/Yayın Bilgisi: (1980)

Yüklüyor......

6801, 68701 and 6803 microcomputer programming and interfacing
Yazar:: Stauaard, Andrew C
Baskı/Yayın Bilgisi: (1981)

Yüklüyor......

Microprogramming techniques with sample programs
Yazar:: Evans, Stanley
Baskı/Yayın Bilgisi: (1979)

Yüklüyor......

Microprocessor based data acquisition system design
Yazar:: Kant, Krishna
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

components of computers
Yazar:: Mazda, F F

Yüklüyor......

Microprocessor applications in business and industry
Yazar:: Whitbread, Martin
Baskı/Yayın Bilgisi: (1979)

Yüklüyor......

Microprocessors: with applications in process control
Yazar:: Ahson, S I
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

Microprogrammable computer architecture
Yazar:: Salibury, Alan B
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

Large scale integration
Yazar:: Lawson, Harold W
Baskı/Yayın Bilgisi: (1979)

Yüklüyor......

Microprocessor architecture, programming and applications with the 8085/8080A
Yazar:: Gaonkar, Ramesh S.
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

young person's guide to BBC BASIC
Yazar:: Milan, Michael
Baskı/Yayın Bilgisi: (1984)

Yüklüyor......

Formal methods of program verification and specification
Yazar:: H K Berg, ve diğerleri
Baskı/Yayın Bilgisi: (1982)

Yüklüyor......

Advanced microprocessor architectures
Yazar:: Ciminiera, Luigi
Baskı/Yayın Bilgisi: (1987)

Yüklüyor......

Microprocessors and microcomputers: one chip controllers to high end systems
Yazar:: Capece, Raymond P
Baskı/Yayın Bilgisi: (1981)

Yüklüyor......

Larch: languages and tools for formal specification
Yazar:: Guttag, John V, ve diğerleri
Baskı/Yayın Bilgisi: (1993)

Yüklüyor......

Software
Yazar:: Alexandria
Baskı/Yayın Bilgisi: (1985)

Yüklüyor......

System software
Yazar:: Nithyashri, J
Baskı/Yayın Bilgisi: (2010)

Yüklüyor......

Introduction to system software
Yazar:: Dhamdhere, D M
Baskı/Yayın Bilgisi: (1986)

Yüklüyor......

Software tools
Yazar:: Kernighan, Briab W
Baskı/Yayın Bilgisi: (1976)

Yüklüyor......

Practical formal software engineering:wanting the software you get
Yazar:: Mills, Bruce
Baskı/Yayın Bilgisi: (2009)

Yüklüyor......

Microprocessor theory and applications with 68000/68020 and pentium
Yazar:: Rafiquzzaman, M
Baskı/Yayın Bilgisi: (2008)

Yüklüyor......

Software Engineering 2 : specification of systems and languages /
Yazar:: Bjørner, Dines
Baskı/Yayın Bilgisi: (2006)

Yüklüyor......

Software engineering
Yazar:: Bjorner, Dines
Baskı/Yayın Bilgisi: (2007)

Yüklüyor......

Generating software from specifications
Yazar:: Kastens, Uwe; Author, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Yüklüyor......

Specification of software systems /
Yazar:: Alagar, Vangalur S.
Baskı/Yayın Bilgisi: (1998)

Yüklüyor......

Design of Experiments A Realistic Approach
Yazar:: Tanenbaum, Andrew.S
Baskı/Yayın Bilgisi: (1979)

Yüklüyor......

System software an introduction to systems programming
Yazar:: Beck, Leland L
Baskı/Yayın Bilgisi: (2014)

Yüklüyor......

Software developers/
Yazar:: Sawyer Ben
Baskı/Yayın Bilgisi: (1998)

Yüklüyor......

Software engineering: Planning for change
Yazar:: Lamb, David Alex
Baskı/Yayın Bilgisi: (1988)

Yüklüyor......

Formal languages and compilation
Yazar:: Reghizzi, Stefano Crespi
Baskı/Yayın Bilgisi: (2012)

Yüklüyor......

Software testing : principles and practice /
Yazar:: Desikan, Srinivasan
Baskı/Yayın Bilgisi: (2014)

Yüklüyor......

Formal models in programming
Yazar:: Neuhold, E J
Baskı/Yayın Bilgisi: (1985)

Yüklüyor......

Object oriented software development Engineering software for reuse /
Yazar:: Mcgregor, John Dand
Baskı/Yayın Bilgisi: (1992)