Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
×
Log in to your account
Login:
Password:
Forgot your password?
Home
›
Details for: Model-based testing of reactive systems
Normal view
MARC view
ISBD view
Model-based testing of reactive systems
By:
Jonsson, Bengt
.
Contributor(s):
Broy, Manfred
|
Katoen, Joost-Pieter
|
Leucker, Martin
.
Material type:
Book
Series:
Lecture notes in computer science
.
Publisher:
Berlin:
Springer,
2005
Description:
viii, 659 p.; : 24 cm
.
ISBN:
3540262784 .
Subject(s):
Information technology -- Testing
|
Systems software -- Testing
DDC classification:
004
Tags from this library:
No tags from this library for this title.
Log in to add tags.
Holdings ( 1 )
Comments ( 0 )
Item type
Current location
Call number
Status
Date due
Barcode
Books
004 BRO (
Browse shelf
)
Available
013568
Browsing DAIICT Shelves
Close shelf browser
Previous
Next
004 BRE
Mobile human-computer interaction - MobileHCI 2004 : 6th international symposium, MobileHCI, Glasgow, UK, September 13-16, 2004 : proceedings
004 BRI
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science
004 BRO
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July , 2003 ; Revised Papers
004 BRO
Model-based testing of reactive systems
004 BRO
Computer science : an overview
004 BRO
Computer science: An overview
004 BRU
Graph-based representations in pattern recognition : fifth iapr international workshop, gbrpr 2005, poitiers, France, April 11-13, 2005 ; proceedings
There are no comments for this item.
Log in to your account
to post a comment.
Print
Save record
BIBTEX
Dublin Core
MARC (non-Unicode/MARC-8)
MARCXML
RIS
MARC (Unicode/UTF-8)
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
×
Exporting to Dublin Core...
Simple DC-RDF
OAI-DC
SRW-DC
Powered by
Koha
There are no comments for this item.