Software engineering / D. Bjørner.

By: Material type: TextTextSeries: Texts in theoretical computer sciencePublication details: Berlin ; New York : Springer, 2006-Description: v. <1-3> : ill. ; 24 cmISBN:
  • 3540211497 (v. 1)
  • 3540211500 (v. 2)
  • 3540211519 (v. 3)
Subject(s): DDC classification:
  • 005.1 22
LOC classification:
  • QA76.758 .B56 2006
Online resources:
Incomplete contents:
1. Abstraction and modelling -- 2. Specification of systems and languages -- 3. Domains, requirements, and software design.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Shelving location Call number Copy number Status Barcode
Books Books Main Campus Library University of Eastern Africa, Baraton Main Stack QA 76.758 .B56 2006 C.1 (Browse shelf(Opens below)) 1 Available 60409
Books Books Main Campus Library University of Eastern Africa, Baraton Main Stack QA 76.758 .B56 2006 C.2 (Browse shelf(Opens below)) 2 Available 60410

Includes bibliographical references and indexes.

1. Abstraction and modelling -- 2. Specification of systems and languages -- 3. Domains, requirements, and software design.

There are no comments on this title.

to post a comment.