טוען...

QR Code

Formal specification and software development

מידע ביבליוגרפי
מחבר ראשי:	Bjorner, Diner
מחברים אחרים:	Jones, Cliff B.
פורמט:	Printed Book
שפה:	English
יצא לאור:	New Jersy Prentice-hall international 1982
סדרה:	Printice-Hall International series in computer science
נושאים:	Microprogramming > Computer science > Computer system

פריטים דומים

EUROMICRO sympopsium on microprocessing and microprogramming
מאת: Stephen Winter and HArald Schumny
יצא לאור: (1988)

Microprogrammed control and reliable design of small computers
מאת: Geroge D.Kraft
יצא לאור: (1981)

Software interpreters for microcomputers
מאת: Mcintire, Thomas C
יצא לאור: (1978)

Foundations of microprogramming architecture, software and applications
מאת: Agarwala, Ashok K
יצא לאור: (1976)

Microprogramming primer /
מאת: Katzan, Harry
יצא לאור: (1977)

Software debugging for microcomputers
מאת: Bruce, Robert C
יצא לאור: (1980)

Formal specification and software development
מאת: Bjorner,Dines

Microprocessor systems: software, firmware and hardware 6th Euromicro symposium on microprocessing and microprogramming September 16-18, 1980: London.:
יצא לאור: (1980)

6801, 68701 and 6803 microcomputer programming and interfacing
מאת: Stauaard, Andrew C
יצא לאור: (1981)

Microprogramming techniques with sample programs
מאת: Evans, Stanley
יצא לאור: (1979)

Microprocessor based data acquisition system design
מאת: Kant, Krishna
יצא לאור: (1987)

components of computers
מאת: Mazda, F F

Microprocessor applications in business and industry
מאת: Whitbread, Martin
יצא לאור: (1979)

Microprocessors: with applications in process control
מאת: Ahson, S I
יצא לאור: (1987)

Microprogrammable computer architecture
מאת: Salibury, Alan B
יצא לאור: (1976)

Large scale integration
מאת: Lawson, Harold W
יצא לאור: (1979)

Microprocessor architecture, programming and applications with the 8085/8080A
מאת: Gaonkar, Ramesh S.
יצא לאור: (1987)

young person's guide to BBC BASIC
מאת: Milan, Michael
יצא לאור: (1984)

Formal methods of program verification and specification
מאת: H K Berg, et al.
יצא לאור: (1982)

Advanced microprocessor architectures
מאת: Ciminiera, Luigi
יצא לאור: (1987)

Microprocessors and microcomputers: one chip controllers to high end systems
מאת: Capece, Raymond P
יצא לאור: (1981)

Larch: languages and tools for formal specification
מאת: Guttag, John V, et al.
יצא לאור: (1993)

Software
מאת: Alexandria
יצא לאור: (1985)

System software
מאת: Nithyashri, J
יצא לאור: (2010)

Introduction to system software
מאת: Dhamdhere, D M
יצא לאור: (1986)

Software tools
מאת: Kernighan, Briab W
יצא לאור: (1976)

Practical formal software engineering:wanting the software you get
מאת: Mills, Bruce
יצא לאור: (2009)

Microprocessor theory and applications with 68000/68020 and pentium
מאת: Rafiquzzaman, M
יצא לאור: (2008)

Software Engineering 2 : specification of systems and languages /
מאת: Bjørner, Dines
יצא לאור: (2006)

Software engineering
מאת: Bjorner, Dines
יצא לאור: (2007)

Generating software from specifications
מאת: Kastens, Uwe; Author, et al.
יצא לאור: (2008)

Specification of software systems /
מאת: Alagar, Vangalur S.
יצא לאור: (1998)

Design of Experiments A Realistic Approach
מאת: Tanenbaum, Andrew.S
יצא לאור: (1979)

System software an introduction to systems programming
מאת: Beck, Leland L
יצא לאור: (2014)

Software developers/
מאת: Sawyer Ben
יצא לאור: (1998)

Software engineering: Planning for change
מאת: Lamb, David Alex
יצא לאור: (1988)

Formal languages and compilation
מאת: Reghizzi, Stefano Crespi
יצא לאור: (2012)

Software testing : principles and practice /
מאת: Desikan, Srinivasan
יצא לאור: (2014)

Formal models in programming
מאת: Neuhold, E J
יצא לאור: (1985)

Object oriented software development Engineering software for reuse /
מאת: Mcgregor, John Dand
יצא לאור: (1992)