<![CDATA[Comentarios al libro: FORMAL METHODS FOR EXECUTABLE SOFTWARE MODELS: 14TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION, AND SOFTWARE ... LECTURES (LECTURE NOTES IN COMPUTER SCIENCE) (2014-05-21)]]>

<![CDATA[Comentarios al libro: FORMAL METHODS FOR EXECUTABLE SOFTWARE MODELS: 14TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION, AND SOFTWARE ... LECTURES (LECTURE NOTES IN COMPUTER SCIENCE) (2014-05-21)]]> Sun, 20 Sep 2026 18:44:44 +0000 es Copyright 202 6BiblioEteca Technologies SL