Normal view MARC view ISBD view

Software engineering 2 : specification of systems and languages / by D. Bjorner.

By: Bjorner, D.

Material type: Text

TextPublisher: NewYork : Springer , 2007Edition: .Description: xxiii, 777p. : ills. figs ; 23cm.ISBN: 9783540211501.Subject(s): COMPUTER SCIENCEDDC classification: 005.1

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes
Comments ( 0 )

Item type	Current location	Call number	Copy number	Status	Date due	Barcode
Books	Central Library Old Stack Room	005.1 BJO/S (Browse shelf)	1	Available		85171

Browsing Central Library Shelves , Shelving location: Old Stack Room Close shelf browser

Previous	No cover image available	No cover image available						Next
Previous	005.1 BHI/C Computer programming for science and engineering /	005.1 BHI/C Computer programming for science and engineering /	005.1 BJO/S Software engineering 3 : domains, requirements, and software design /	005.1 BJO/S Software engineering 2 : specification of systems and languages /	005.1 BJO/S Software engineering 1 : abstraction and modelling /	005.1 BRA/F Fundamentals of algorithmics /	005.1 BRA/F Fundamentals of algorithmics /	Next

Includes indes and bibliographical reference

85171 RS0.00

There are no comments for this item.

Central Library , Vidyasagar University

Software engineering 2 : specification of systems and languages / by D. Bjorner.

By: Bjorner, D.

Browsing Central Library Shelves , Shelving location: Old Stack Room Close shelf browser