Formal Methods Teaching

Name: Formal Methods Teaching
Brand: Springer
Price: 78505.00 ARS
Availability: InStock
ISBN: 9783031713781

por Emil Sekerinski, Leila Ribeiro · Springer · tapa blanda · ISBN 9783031713781

4,5

7 personas viendo estoVisto 3 veces

IVA incluido

Envío GRATIS · llega el 23 nov - 11 dic

Devolución gratis 30 días

Paga con:

Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero

Detalles del producto

Emil Sekerinski, Leila Ribeiro

9783031713781

Springer

Inglés

tapa blanda

9/10/2024

152 pag

23.4 x 15.6 x 0.8 cm

222 g

Sinopsis de Formal Methods Teaching

«Formal Methods Teaching» recoge las actas del taller FMTea 2024, editado por Emil Sekerinski y Leila Ribeiro (Springer, tapa blanda, 152 páginas, en inglés).

Reúne siete artículos completos y una charla invitada del taller FMTea 2024, celebrado en Milán el 10 de septiembre de 2024. Los trabajos tratan la enseñanza y el autoaprendizaje de métodos formales: lógica, verificación de software, diseño de sistemas, ingeniería del software e inteligencia artificial en la educación técnica.

Corresponde al volumen 14939 de la colección Lecture Notes in Computer Science (LNCS); edición en inglés publicada por Springer en 2024.

Para docentes e investigadores de ciencias de la computación e ingeniería de software que quieran enseñar métodos formales.

Más títulos para quienes han leído Formal Methods Teaching de Emil Sekerinski

Recomendado por Julia

Computer Vision – ECCV 2024

4,0

Autor: Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky, Torsten Sattler, Gül Varol

Tapa blanda

123.955$

1 oferta disponible

Pattern Recognition

4,4

Autor: Apostolos Antonacopoulos, Subhasis Chaudhuri, Rama Chellappa, Cheng-Lin Liu, Saumik Bhattacharya, Umapada Pal

Tapa blanda

77.332$

2 ofertas disponibles

Computer Vision – ACCV 2024

4,5

Autor: Minsu Cho, Ivan Laptev, Du Tran, Angela Yao, Hongbin Zha

Tapa blanda

204.652$

1 oferta disponible

Coordination Models and Languages

4,6

Autor: Ilaria Castellani, Francesco Tiezzi

Tapa blanda

102.326$

2 ofertas disponibles

Formal Methods for Software Architectures

3,9

Autor: Marco Bernardo, Paola Inverardi

Tapa blanda

39.287$

1 oferta disponible

MultiMedia Modeling

4,5

Autor: Ichiro Ide, Ioannis Kompatsiaris, Changsheng Xu, Keiji Yanai, Wei-Ta Chu, Naoko Nitta, Michael Riegler, Toshihiko Yamasaki

Tapa blanda

113.235$

1 oferta disponible

HCI International 2024 – Late Breaking Papers

4,1

Autor: Masaaki Kurosu, Ayako Hashizume, Hirohiko Mori, Yumi Asahi, Dylan D. Schmorrow, Cali M. Fidopiastis

Tapa blanda

141.164$

1 oferta disponible

Advances in Swarm Intelligence

4,1

Autor: Ying Tan, Yuhui Shi

Tapa blanda

93.195$

1 oferta disponible

Libros más vendidos de Ingeniería del software

Más vendidos

Ver todos

Diseño de Programas

4,6

Autor: Ricardo Peña Marí

Tapa blanda

40.565$

2 ofertas disponibles

DSM-IV-TR. Breviario

4,0

Autor: American Psychiatric Association

Tapa blanda

44.638$

1 oferta disponible

El Gran Libro de Visual C++

3,9

Autor: Jens Herbers, Dr. Schwarte

Tapa dura

77.314$

1 oferta disponible

Estructura de datos y algoritmos

3,9

Autor: Salvador Ros, Roberto Hernández, Juan Carlos Lázaro, Raquel Dormido

Tapa blanda

102.274$

1 oferta disponible

Introducción al proceso software personal

3,8

Autor: Watts S. Humphrey

Tapa blanda

96.146$

1 oferta disponible

Microsoft Flight Simulator 98

4,1

Autor: Ben Chiu

Tapa blanda

84.184$

1 oferta disponible

WordPress. Diseño y desarrollo

3,9

Autor: Brad Williams, David Damstra, Hal Stern

Tapa blanda

93.868$

1 oferta disponible

Programación Orientada a Objetos con C++

4,4

Autor: Fco. Javier Ceballos Sierra

Tapa blanda

49.679$

1 oferta disponible

¡Última unidad!3 personas lo tienen en su carrito

IVA incluido