UML-B Specification for Proven Embedded Systems Design
Enregistré dans:
| Auteurs principaux: | , , , , , , , , , , , , , , , , |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Autre(s) auteurs(s) : Stefan Hallerstede, Klaus Kronlöf, Alexander Krupp, Thierry Lecomte, Michael Lundell, Ola Lundkvist, Michele Marchetti, Wolfgang Mueller, Ian Oliver, Denis Sabatier, Tim Schattkowsky, Colin Snook, Nikolaos S. Voros, Yann Zimmermann Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • UML-B Specification for Proven Embedded Systems Design, 978-1-4419-5256-1 |
| LEADER | 02782nam a22005057a 4500 | ||
|---|---|---|---|
| 001 | 961014 | ||
| 008 | 190906q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN237950162 | ||
| 020 | |a 9781402028670 | ||
| 024 | |a 9781402028670 | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.117 | ||
| 100 | 1 | |a Bernin, Fredrik. | |
| 245 | 1 | 0 | |a UML-B Specification for Proven Embedded Systems Design |c Fredrik Bernin, Michael Butler, Dominique Cansell [et al.] ; Jean Mermet. |
| 260 | |a Cham : |b Springer International Publishing. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 500 | |a Autre(s) auteurs(s) : Stefan Hallerstede, Klaus Kronlöf, Alexander Krupp, Thierry Lecomte, Michael Lundell, Ola Lundkvist, Michele Marchetti, Wolfgang Mueller, Ian Oliver, Denis Sabatier, Tim Schattkowsky, Colin Snook, Nikolaos S. Voros, Yann Zimmermann | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 700 | 1 | |a Schattkowsky, Tim. |4 aut | |
| 700 | 1 | |a Lundell, Michael. |4 aut | |
| 700 | 1 | |a Voros, Nikolaos. |4 aut | |
| 700 | 1 | |a Krupp, Alexander. |4 aut | |
| 700 | 1 | |a Oliver, Ian. |4 aut | |
| 700 | 1 | |a Marchetti, Michele. |4 aut | |
| 700 | 1 | |a Hallerstede, Stefan. |4 aut | |
| 700 | 1 | |a Butler, Michael, |d 1967-...., |c enseignant en informatique. |4 aut | |
| 700 | 1 | |a Lecomte, Thierry, |c informaticien. |4 aut | |
| 700 | 1 | |a Snook, Colin. |4 aut | |
| 700 | 1 | |a Zimmermann, Yann, |d 1978- |4 aut | |
| 700 | 1 | |a Lundkvist, Ola. |4 aut | |
| 700 | 1 | |a Sabatier, Denis. |4 aut | |
| 700 | 1 | |a Kronlöf, Klaus. |4 aut | |
| 700 | 1 | |a Cansell, Dominique, |d 1958- |4 aut | |
| 700 | 1 | |a Mueller, Wolfgang. |4 aut | |
| 700 | 1 | |a Mermet, Jean, |d 1942-...., |c informaticien. |4 clb | |
| 776 | 0 | |t UML-B Specification for Proven Embedded Systems Design |z 978-1-4419-5256-1 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-1-4020-2867-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-9H9MP4NJ-T |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:749587571 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/978-1-4020-2867-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:752336096 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/978-1-4020-2867-0 |z Accès INSA CVL | |
| 997 | |0 961014 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||