REBIUN - ODA

Descripción del título

ABZ 2014: The Landing Gear ...

ABZ 2014: The Landing Gear Case Study [Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

Boniol, Frédéric.

Wiels, Virginie.

Ait Ameur, Yamine.

Schewe, Klaus-Dieter.

Springer International Publishing 2014.

Ver

Libros electrónicos

Monografía

monografia Rebiun16027074 https://catalogo.rebiun.org/rebiun/record/Rebiun16027074 zu nn 008mamaa 160107s2014 gw | s |||| 0|eng d 978-3-319-07512-9 9783319075112 UPNA0439253 UPNA ABZ 2014: The Landing Gear Case Study recurso electrónico en línea] Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings edited by Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe. Cham Springer International Publishing Imprint: Springer 2014. Cham Cham Springer International Publishing Imprint: Springer XII, 161 p. 47 illus. archivo PDF. XII, 161 p. 47 illus. Communications in Computer and Information Science 1865-0929 433 Libros electrónicos Boniol, Frédéric. Wiels, Virginie. Ait Ameur, Yamine. Schewe, Klaus-Dieter. SpringerLink (plataforma) Communications in Computer and Information Science 1865-0929 433

• Localizaciones: 1
• Préstamo interbibliotecario

• Exportar
  • Dublin Core
  • Google scholar
  • RIS
  • RefWorks
• Favorito
• Compartir

Información Sólo puedes introducir una dirección de email ×

Introduce un email para compartir el título

Email Pon el email de la persona con la que deseas compartir este contenido

Error .alert.alert-info

Cerrar Compartir por email

Información Haz clic en el cuadro de texto para seleccionar el contenido y copiarlo al portapapeles

Enlace permanente https://catalogo.rebiun.org/rebiun/record/Rebiun16027074

Cerrar

monografia Rebiun16027074 https://catalogo.rebiun.org/rebiun/record/Rebiun16027074 zu nn 008mamaa 160107s2014 gw | s |||| 0|eng d 978-3-319-07512-9 9783319075112 UPNA0439253 UPNA ABZ 2014: The Landing Gear Case Study recurso electrónico en línea] Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings edited by Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe. Cham Springer International Publishing Imprint: Springer 2014. Cham Cham Springer International Publishing Imprint: Springer XII, 161 p. 47 illus. archivo PDF. XII, 161 p. 47 illus. Communications in Computer and Information Science 1865-0929 433 Libros electrónicos Boniol, Frédéric. Wiels, Virginie. Ait Ameur, Yamine. Schewe, Klaus-Dieter. SpringerLink (plataforma) Communications in Computer and Information Science 1865-0929 433