Articoli correlati a Formal Methods for Software Engineering: Languages,...
Formal Methods for Software Engineering: Languages, Methods, Application Domains - Rilegato
Libro 44 di 44: Texts in Theoretical Computer Science. An EATCS
Sinossi
This is a graduate-level introduction to formal methods. The first part presents two formal languages: logic, in various forms, and Communicating Sequential Process (CSP) as a process algebra. The second part offers specification and testing methods for formal development of software. Building on the foundations from the first part, the reader is allowed to embrace methods for practical applications. The reader will find the examples cutting across chapters valuable for this purpose. The final section takes the reader further into application domains.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull'autore
Markus Roggenbach is a professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an associate professor in the Dept. of Computer Science of Nazarbayev University in Astana. Bernd-Holger Schlingloff is a professor in the Institut für Informatik of Humboldt-Universität zu Berlin. Gerardo Schneider is a professor in the Dept. of Computer Science and Engineering of University of Gothenburg. Siraj Ahmed Shaikh is a professor in the Institute for Future Transport and Cities of Coventry University.
Dalla quarta di copertina
This is a graduate-level introduction to formal methods. The first part presents two formal languages: logic, in various forms, and Communicating Sequential Process (CSP) as a process algebra. The second part offers specification and testing methods for formal development of software. Building on the foundations from the first part, the reader is allowed to embrace methods for practical applications. The reader will find the examples cutting across chapters valuable for this purpose. The final section takes the reader further into application domains.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Formal Methods for Software Engineering: Languages,...
Foto dell'editore
Formal Methods for Software Engineering
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-14499
Compra nuovo
EUR 77,08
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Software Engineering (eng)
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo b57823dc45174db7e0c6053bf14eed96
Compra nuovo
EUR 70,24
Spedizione EUR 8,00
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 44550604-n
Compra nuovo
EUR 80,32
Spedizione EUR 2,37
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Software Engineering
Da: Books Puddle, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xxviii + 524. Codice articolo 26378036289
Compra nuovo
EUR 83,36
Spedizione EUR 3,58
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Software Engineering
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xxviii + 524. Codice articolo 385867678
Compra nuovo
EUR 82,87
Spedizione EUR 7,80
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Software Engineering
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xxviii + 524. Codice articolo 18378036299
Compra nuovo
EUR 81,42
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 44550604
Compra usato
EUR 91,15
Spedizione EUR 2,37
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783030387990
Compra nuovo
EUR 99,69
Spedizione EUR 2,69
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 44550604-n
Compra nuovo
EUR 89,89
Spedizione EUR 18,00
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Methods for Software Engineering
Editore:
Springer, Springer Jun 2022, 2022
ISBN 10: 3030387992
ISBN 13: 9783030387990
Nuovo
Rilegato
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book.Topics and features: Explains foundations, and introduces specification, verification, and testing methods Exploresvarious application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods.Markus Roggenbachis a Professor in the Dept. of Computer Science of Swansea University.Antonio Ceroneis an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan.Bernd-Holger Schlingloffis a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin.Gerardo Schneideris a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg.Siraj Ahmed Shaikhis a Professor in the Institute for Future Transport and Cities of Coventry University.The companion site for the book offers additional resources, includingfurther material for selected chapters, prepared lab classes, a list of errata, slides and teaching material, and virtual machines with preinstalled tools and resources for hands-on experience with examples from the book.The URL is:https://sefm-book.github.io 556 pp. Englisch. Codice articolo 9783030387990
Compra nuovo
EUR 85,59
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili