• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Modeling and verification using UML statecharts :a working guide to reactive system design, runtime monitoring, and execution-based model checking

پدید آورنده
Drusinsky, Doron.

موضوع
، UML )Computer science(,، Formal methods )Computer science(,Development ، Computer software

رده
QA
76
.
76
.
D47
D78

کتابخانه
Central Library of Hamedan University of Technology

محل استقرار
استان: Hamedan ـ شهر: Hamedan

Central Library of Hamedan University of Technology

تماس با کتابخانه : 38411100-081

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Modeling and verification using UML statecharts :a working guide to reactive system design, runtime monitoring, and execution-based model checking

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Burlington, MA
Name of Publisher, Distributor, etc.
Newnes
Date of Publication, Distribution, etc.
c2006

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xii, 306 p. : ill. ; 24 cm. +

GENERAL NOTES

Text of Note
Includes bibliographical references )p. 295-301( and index

NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY

Text of Note
Doron Drusinsky

ORIGINAL VERSION NOTE

Text of Note
1

TOPICAL NAME USED AS SUBJECT

Entry Element
، UML )Computer science(
Entry Element
، Formal methods )Computer science(
Entry Element
Development ، Computer software

DEWEY DECIMAL CLASSIFICATION

Number
005
.
1/17

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA
76
.
76
.
D47
D78

PERSONAL NAME - PRIMARY RESPONSIBILITY

Entry Element
Drusinsky, Doron.
Relator Code
AU

TI

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival