REBIUN - ODA

Descripción del título

Abstract State Machines, Al...

Abstract State Machines, Alloy, B, TLA, VDM, and Z [4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Ait Ameur, Yamine.

Schewe, Klaus-Dieter.

Springer Berlin Heidelberg 2014.

Ver

Libros electrónicos

Monografía

monografia Rebiun16027022 https://catalogo.rebiun.org/rebiun/record/Rebiun16027022 zu nn 008mamaa 160107s2014 gw | s |||| 0|eng d 978-3-662-43652-3 9783662436516 UPNA0439889 UPNA Abstract State Machines, Alloy, B, TLA, VDM, and Z recurso electrónico en línea] 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings edited by Yamine Ait Ameur, Klaus-Dieter Schewe. Berlin, Heidelberg Springer Berlin Heidelberg Imprint: Springer 2014. Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg Imprint: Springer XVI, 336 p. 93 illus. archivo PDF. XVI, 336 p. 93 illus. Lecture Notes in Computer Science 0302-9743 8477 Libros electrónicos Ait Ameur, Yamine. Schewe, Klaus-Dieter. SpringerLink (plataforma) Lecture Notes in Computer Science 0302-9743 8477

• 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/Rebiun16027022

Cerrar

monografia Rebiun16027022 https://catalogo.rebiun.org/rebiun/record/Rebiun16027022 zu nn 008mamaa 160107s2014 gw | s |||| 0|eng d 978-3-662-43652-3 9783662436516 UPNA0439889 UPNA Abstract State Machines, Alloy, B, TLA, VDM, and Z recurso electrónico en línea] 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings edited by Yamine Ait Ameur, Klaus-Dieter Schewe. Berlin, Heidelberg Springer Berlin Heidelberg Imprint: Springer 2014. Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg Imprint: Springer XVI, 336 p. 93 illus. archivo PDF. XVI, 336 p. 93 illus. Lecture Notes in Computer Science 0302-9743 8477 Libros electrónicos Ait Ameur, Yamine. Schewe, Klaus-Dieter. SpringerLink (plataforma) Lecture Notes in Computer Science 0302-9743 8477