REBIUN - ODA

Descripción del título

Abstract State Machines, Al...

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Butler, Michael C.

Raschke, Alexander

Hoang, Thai Son

Reichl, Klaus

Springer International Publishing 2018

Ver

Libros electrónicos Recursos electrónicos

Monografía

monografia Rebiun21010932 https://catalogo.rebiun.org/rebiun/record/Rebiun21010932 cr c 180507s2018 gw o 001 0 eng d 9783319912714 978-3-319-91271-4 10.1007/978-3-319-91271-4 doi UR0444199 UPVA 996951460303706 UAM 991007753013704211 UPM 991005694632404212 UCAR 991007987418304213 CBUC 991004009778706713 CBUC 991004878022106711 CBUC 991012514895806708 CBUC 991003518333406714 CBUC 991000728686106712 CBUC 991010404155206709 UAL spa UAL rdc 005.131 23 Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl Cham Springer International Publishing Springer 2018 Cham Cham Springer International Publishing Springer 1 recurso en línea 1 recurso en línea XIV, 432 p. 83 il XIV, 432 p. 83 il Texto (visual) isbdcontent electrónico isbdmedia Springer eBooks Lecture Notes in Computer Science 0302-9743 10817 Modo de acceso: World Wide Web Computer science Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Computers Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computing Methodologies Informática Libros electrónicos Recursos electrónicos Butler, Michael C. Raschke, Alexander Hoang, Thai Son Reichl, Klaus SpringerLink (Servicio en línea)

• Localizaciones: 29
• 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/Rebiun21010932

Cerrar

monografia Rebiun21010932 https://catalogo.rebiun.org/rebiun/record/Rebiun21010932 cr c 180507s2018 gw o 001 0 eng d 9783319912714 978-3-319-91271-4 10.1007/978-3-319-91271-4 doi UR0444199 UPVA 996951460303706 UAM 991007753013704211 UPM 991005694632404212 UCAR 991007987418304213 CBUC 991004009778706713 CBUC 991004878022106711 CBUC 991012514895806708 CBUC 991003518333406714 CBUC 991000728686106712 CBUC 991010404155206709 UAL spa UAL rdc 005.131 23 Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl Cham Springer International Publishing Springer 2018 Cham Cham Springer International Publishing Springer 1 recurso en línea 1 recurso en línea XIV, 432 p. 83 il XIV, 432 p. 83 il Texto (visual) isbdcontent electrónico isbdmedia Springer eBooks Lecture Notes in Computer Science 0302-9743 10817 Modo de acceso: World Wide Web Computer science Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Computers Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computing Methodologies Informática Libros electrónicos Recursos electrónicos Butler, Michael C. Raschke, Alexander Hoang, Thai Son Reichl, Klaus SpringerLink (Servicio en línea)