Viser: Formal Methods - An Appetizer

Formal Methods
Søgbar e-bog

Formal Methods Vital Source e-bog

Flemming Nielson og Hanne Riis Nielson
(2019)
Springer Nature
498,00 kr. 448,20 kr.
Leveres umiddelbart efter køb
Formal Methods

Formal Methods Vital Source e-bog

Flemming Nielson og Hanne Riis Nielson
(2019)
Springer Nature
492,00 kr. 442,80 kr.
Leveres umiddelbart efter køb
Formal Methods - An Appetizer, 1. udgave

Formal Methods

An Appetizer
Flemming Nielson og Hanne Riis Nielson
(2019)
Sprog: Engelsk
Springer International Publishing AG
333,00 kr. 299,70 kr.
ikke på lager, Bestil nu og få den leveret
om ca. 10 hverdage

Detaljer om varen

  • Vital Source searchable e-book (Fixed pages)
  • Udgiver: Springer Nature (Juli 2019)
  • Forfattere: Flemming Nielson og Hanne Riis Nielson
  • ISBN: 9783030051563
This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity. The early chapters on program graphs and the Guarded Commands language are sufficient introduction for most readers to then enjoy a plug-and-play approach to the remaining chapters. These explain formal methods for analysing the behaviour of programs in various ways ranging from verification, via program analysis and language-based security, to model checking. The remaining chapters present language extensions with procedures and concurrency and cover their semantics. The book is suitable for advanced undergraduate and graduate courses in software development, and the text is supported throughout with exercises of varying grades of difficulty. The authors have developed an online learning environment that allows students to create examples beyond those covered in the main text, and in the book appendices they present programming projects aimed at implementing central parts of the development using the functional language F#.
Licens varighed:
Bookshelf online: 5 år fra købsdato.
Bookshelf appen: ubegrænset dage fra købsdato.

Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)

Detaljer om varen

  • Vital Source 365 day rentals (fixed pages)
  • Udgiver: Springer Nature (Juli 2019)
  • Forfattere: Flemming Nielson og Hanne Riis Nielson
  • ISBN: 9783030051563R365
This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity. The early chapters on program graphs and the Guarded Commands language are sufficient introduction for most readers to then enjoy a plug-and-play approach to the remaining chapters. These explain formal methods for analysing the behaviour of programs in various ways ranging from verification, via program analysis and language-based security, to model checking. The remaining chapters present language extensions with procedures and concurrency and cover their semantics. The book is suitable for advanced undergraduate and graduate courses in software development, and the text is supported throughout with exercises of varying grades of difficulty. The authors have developed an online learning environment that allows students to create examples beyond those covered in the main text, and in the book appendices they present programming projects aimed at implementing central parts of the development using the functional language F#.
Licens varighed:
Bookshelf online: 5 år fra købsdato.
Bookshelf appen: 5 år fra købsdato.

Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)

Detaljer om varen

  • 1. Udgave
  • Hardback
  • Udgiver: Springer International Publishing AG (Juli 2019)
  • Forfattere: Flemming Nielson og Hanne Riis Nielson
  • ISBN: 9783030051556

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity.

The early chapters on program graphs and the Guarded Commands language are sufficient introduction for most readers to then enjoy a plug-and-play approach to the remaining chapters. These explain formal methods for analysing the behaviour of programs in various ways ranging from verification, via program analysis and language-based security, to model checking. The remaining chapters present language extensions with procedures and concurrency and cover their semantics.

The book is suitable for advanced undergraduate and graduate courses in software development, and the text is supported throughout with exercises of varying grades of difficulty. The authors have developed an online learning environment that allows students to create examples beyond those covered in the main text, and in the book appendices they present programming projects aimed at implementing central parts of the development using the functional language F#.

Program Graphs.- Guarded Commands.- Program Verification.- Program Analysis.- Language-Based Security.- Model Checking.- Procedures.- Concurrency.- Epilogue.- App. A, The MicroC Language.- App. B, Programming Projects.- App. C, Realisation in F#.- App. D, A Learning Environment.- Symbols.- Index.

Søg alle bøger

Titel eller forfatter eller ISBN

Ofte stillede spørgsmål

Hvor kan jeg hente mine bøger?

Hvad er studiepris?

 

Find svarene på disse og andre spørgsmål på FAQ siden 

Find Formlen

- vores egen formelsamling serie - udarbejdet af studerende for studerende og rettet mod dit DTU studie.

 

Find Formlen

 

Serien Find Formlen er udarbejdet af studerende der er langt i studiet og har været hjælpelærere i flere semestre og derfor præcist ved hvad der skal til.


De indeholder de vigtigste og hyppigst forekommende formler, som anvendes i den første del af studiet, og som det er nyttigt at have samlet i én overskuelig og let anvendelig oversigt.

 

Nyhed - kan nu fås som Vital Source Bookshelf digitale bøger

 

Se alle Find Formlen bøger her