Catálogo de publicaciones - libros

Compartir en
redes sociales


Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Información

Tipo: libros

ISBN impreso

978-3-540-68977-5

ISBN electrónico

978-3-540-69061-0

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación