|
|
|
|
| LEADER |
02519cmm a2200673 i 4500 |
| 001 |
ebook-170240967 |
| 005 |
20240112134839.0 |
| 007 |
cr|cuu---auauu |
| 008 |
130625s2006||||fr ||||g|||d ||||||eng d |
| 020 |
|
|
|a 9780080481470
|
| 024 |
7 |
|
|a 10.1016/b978-0-7506-7949-7.x5000-4
|2 DOI
|
| 035 |
|
|
|a (OCoLC)719878754
|
| 035 |
|
|
|a FRCYB40000659
|
| 035 |
|
|
|a FRCYB56740000659
|
| 035 |
|
|
|a FRCYB08240000659
|
| 035 |
|
|
|a FRCYB09840000659
|
| 035 |
|
|
|a FRCYB10240000659
|
| 035 |
|
|
|a FRCYB14040000659
|
| 035 |
|
|
|a FRCYB17040000659
|
| 035 |
|
|
|a FRCYB24240000659
|
| 035 |
|
|
|a FRCYB24840000659
|
| 035 |
|
|
|a FRCYB26040000659
|
| 035 |
|
|
|a FRCYB26840000659
|
| 035 |
|
|
|a FRCYB27440000659
|
| 035 |
|
|
|a FRCYB27740000659
|
| 035 |
|
|
|a FRCYB29140000659
|
| 035 |
|
|
|a FRCYB29340000659
|
| 035 |
|
|
|a FRCYB29540000659
|
| 035 |
|
|
|a FRCYB53640000659
|
| 035 |
|
|
|a FRCYB55440000659
|
| 035 |
|
|
|a FRCYB55940000659
|
| 035 |
|
|
|a FRCYB56340000659
|
| 035 |
|
|
|a FRCYB04140000659
|
| 035 |
|
|
|a FRCYB57140000659
|
| 035 |
|
|
|a FRCYB57340000659
|
| 040 |
|
|
|a ABES
|b fre
|e AFNOR
|
| 041 |
0 |
|
|a eng
|2 639-2
|
| 100 |
1 |
|
|0 (IdRef)110148622
|1 http://www.idref.fr/110148622/id
|a Drusinsky, Doron.
|4 aut.
|e Auteur
|
| 245 |
1 |
0 |
|a Modeling and Verification Using UML Statecharts :
|b A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
|c Doron Drusinsky.
|
| 256 |
|
|
|a Données textuelles.
|
| 260 |
|
|
|a Burlington, MA, USA :
|b Elsevier Science & Technology Books,
|c 2006.
|
| 336 |
|
|
|b txt
|2 rdacontent
|
| 337 |
|
|
|b c
|2 rdamedia
|
| 337 |
|
|
|b b
|2 isbdmedia
|
| 338 |
|
|
|b ceb
|2 RDAfrCarrier
|
| 500 |
|
|
|a Titre provenant de la page de titre du document numérique.
|
| 500 |
|
|
|a Numérisation de l'édition de Burlington, MA, USA : Elsevier Science & Technology Books, 2006.
|
| 500 |
|
|
|a La pagination de l'édition imprimée correspondante est de 318 p.
|
| 506 |
|
|
|a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition
|
| 516 |
|
|
|a Fichier html.
|
| 538 |
|
|
|a Configuration requise : navigateur internet.
|
| 650 |
|
0 |
|a Computer software
|x Development.
|2 lc
|
| 650 |
|
0 |
|a Formal methods (Computer science).
|2 lc
|
| 650 |
|
0 |
|a UML (Computer science).
|2 lc
|
| 856 |
|
|
|u https://srvext.uco.fr/login?url=https://univ.scholarvox.com/book/40000659
|w Données éditeur
|z Accès à l'E-book
|
| 886 |
2 |
|
|2 unimarc
|a 181
|a i#
|b xxxe##
|
| 993 |
|
|
|a E-Book
|
| 994 |
|
|
|a BNUM
|
| 995 |
|
|
|a 170240967
|