Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers por Leslie Lamport

August 17, 2019

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers por Leslie Lamport

Titulo del libro: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Autor: Leslie Lamport

Fecha de lanzamiento: July 19, 2002

Número de páginas: 384 páginas

ISBN: 032114306X

Editor: Addison-Wesley Educational Publishers Inc

Obtenga el libro de Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers de Leslie Lamport en formato PDF o EPUB. Puedes leer cualquier libro en línea o guardarlo en tus dispositivos. Cualquier libro está disponible para descargar sin necesidad de gastar dinero.