Formal specification level : concepts, methods, and algorithms / Mathias Soeken, Rofl Drechsler.
Material type:
TextPublisher: Cham : Springer, [2015]Copyright date: ©2015Description: 1 Electronic resource (1 volume)Content type: - text
- computer
- online resource
- 9783319086996
- 3319086995
- 3319086987
- 9783319086989
- Engineering
- Natural language processing (Computer science)
- Embedded computer systems
- COMPUTERS -- General
- Embedded computer systems
- Natural language processing (Computer science)
- Engineering
- Circuits and Systems
- Processor Architectures
- Computers -- Systems Architecture -- General
- Computer architecture & logic design
- Systems engineering
- Computer science
- Technology & Engineering -- Electronics -- Circuits -- General
- Circuits & components
- 006.35 SOE 2015
| Item type | Current library | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | Course reserves |
|---|---|---|---|---|---|---|---|---|---|---|
Electronic Book
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | Online Resources | FCUC Library | 006.35 SOE 2015 (Browse shelf(Opens below)) | e-book | e00132 |
Master in Software Engineering BA of Information Technology (Networking and Security) (Hons) |
Academic
Includes bibliographical references and index.
Introduction -- Background -- NLP-Assisted Model Generation -- Verification of Static Aspects -- Verification of Dynamic Aspects -- Conclusions.
Online resource; title from PDF title page (EBSCO, viewed November 20, 2014).