Rewriting Logic and Its Applications Narciso Martí-Oliet
62,05 €
Titel: Rewriting Logic and Its Applications, Untertitel: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6¿7, 2024, Revised Selected Papers, Einband: Taschenbuch, Autor: Narciso Martí-Oliet, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 220, Maße: 235x155x13 mm, Gewicht: 341 g, Verkäufer: buch-mimpf, Schlagworte: equational logic and rewriting verification by model checking logic and verification software system structures software functional properties System description languages designing software software verification and validation.
Jetzt bei Ebay:
