Catálogo de publicaciones - libros

Compartir en
redes sociales


Calculus of Computation, The: Decision Procedures with Applications to Verification

Accesos/Suscripciones

Este recurso está disponible en las siguientes plataformas

Información

Tipo: libros

ISBN impreso

978-3-540-74112-1

ISBN electrónico

978-3-540-74113-8

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación