Formal Methods in Computer Science

Formal Methods in Computer Science offre agli studenti un'introduzione completa ai metodi formali e alla loro applicazione nelle specifiche e nella verifica di software e hardware. La prima parte introduce alcuni fondamenti di metodi formali, tra cui la teoria degli insiemi, le funzioni, le macchine a stati finiti e le espressioni regolari. La seconda parte si concentra sulla logica, un potente linguaggio formale nella specificazione delle proprietà dei sistemi. Copre la logica proposizionale, la logica dei predicati, la logica temporale e il controllo dei modelli. La terza parte presenta le reti di Petri, il linguaggio formale più diffuso nella modellazione del comportamento dei sistemi. Oltre alle normali reti di Petri, questa parte esamina anche le reti di Petri temporizzate e le reti di Petri di alto livello. Il libro di testo è ideale per corsi universitari o post-laurea in ingegneria informatica, ingegneria del software, informatica e programmi di tecnologia dell'informazione. Parti del libro sono materiale di lettura utile nel corso di laurea in informatica e come guida di riferimento per gli studenti che ricercano l'area della specifica e della convalida formale dei sistemi. Features * Introduce un insieme completo ma gestibile di tecniche formali per gli studenti di informatica * Sottolinea il valore applicativo nel mondo reale di ogni tecnica formale * Offre una buona serie di esercizi che aiutano gli studenti a comprendere meglio le tecniche presentate * Offre anche un codice sorgente preparato per il download e Uso non commerciale<BR><BR>. Lingua: Inglese