SØG - mellem flere end 8 millioner bøger:

Søg på: Titel, forfatter, forlag - gerne i kombination.
Eller blot på isbn, hvis du kender dette.

Viser: Formal Methods

Formal Methods, 1. udgave

Formal Methods

(2019)
333,00 kr. 299,70 kr.
På lager, Bestil nu og få den leveret
om ca. 2 hverdage
Formal Methods

Formal Methods Vital Source e-bog

Flemming Nielson og Hanne Riis Nielson
(2019)
Springer Nature
9.999,98 kr.
Leveres umiddelbart efter køb
Formal Methods

Formal Methods Vital Source e-bog

Flemming Nielson og Hanne Riis Nielson
(2019)
Springer Nature
9.999,98 kr.
Leveres umiddelbart efter køb
Formal Methods

Formal Methods Vital Source e-bog

Flemming Nielson og Hanne Riis Nielson
(2019)
Springer Nature
442,00 kr. 397,80 kr.
Leveres umiddelbart efter køb
  • Klik for at bedømme:
  • 0.0/6 (0 bedømmelser)

Detaljer Om Varen

  • 1. Udgave
  • Udgiver: (Januar 2019)
  • ISBN: 9783030051556
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.

Detaljer Om Varen

  • Vital Source leje e-bog 180 dage
  • Udgiver: Springer Nature (Juli 2019)
  • Forfattere: Flemming Nielson og Hanne Riis Nielson
  • ISBN: 9783030051563R180
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:
Online udgaven er tilgængelig: 180 dage fra købsdato.
Offline udgaven er tilgængelig: 180 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 leje e-bog 90 dage
  • Udgiver: Springer Nature (Juli 2019)
  • Forfattere: Flemming Nielson og Hanne Riis Nielson
  • ISBN: 9783030051563R90
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:
Online udgaven er tilgængelig: 90 dage fra købsdato.
Offline udgaven er tilgængelig: 90 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 E-book
  • 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:
Online udgaven er tilgængelig: 365 dage fra købsdato.
Offline udgaven er tilgængelig: 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)
De oplyste priser er inkl. moms
Trustpilot = Fremragende

Om denne ebog

Please note that this is a Vital Source ebook, which you can access both online and download to a compatible device.

You will need Vital Source ebook software to download it - this is free and you download it here

Om denne ebog

Please note that this is a Vital Source ebook, which you can access both online and download to a compatible device.

You will need Vital Source ebook software to download it - this is free and you download it here

Om denne ebog

Bemærk: Dette er en Vital Source e-bog, som kan læses offline i Bookshelf ebogslæseren - og online med en browser i en begrænset periode. (Se den enkelte bog for mere information.)

 

Bookshelf læseren findes til forskellige systemer, er gratis og kan downloades her.  

 

For mere information om anskaffelse og brug af Vital Source ebøger, klik her.

senest sete

Polyteknisk Boghandel

har gennem mere end 50 år været studieboghandlen på DTU og en af Danmarks førende specialister i faglitteratur.

 

Vi lagerfører et bredt udvalg af bøger, ikke bare inden for videnskab og teknik, men også f.eks. ledelse, IT og meget andet.

Læs mere her

Trykt eller digital bog?

Ud over trykte bøger tilbyder vi tre forskellige typer af digitale bøger:

 

Vital Source Ebog: En velfungerende ebogsplatform, hvor bogen downloades til din computer og/eller mobile enhed.

 

Du skal bruge den gratis Bookshelf software til at læse læse bøgerne - der er indbygget gode værktøjer til f.eks. overstregning, notetagning mv. I langt de fleste tilfælde vil du samtidig have en sideløbende 365 dages online adgang. Læs mere om Vital Source bøger

 

Levering: I forbindelse med købet opretter du et login. Når du har installeret Bookshelf softwaren, logger du blot ind og din bog downloades automatisk.

 

 

Adobe ebog: Dette er Adobe DRM ebøger som downloades til din lokale computer eller mobil enhed.

 

For at læse bøgerne kræves særlig software, som understøtter denne type. Softwaren er gratis, men du bør sikre at du har rettigheder til installere software på den maskine du påtænker at anvende den på. Læs mere om Adobe DRM bøger

 

Levering: Et download link sendes pr email umiddelbart efter købet.

 


Ibog: Dette er en online bog som kan læses på udgiverens website. 

Der kræves ikke særlig software, bogen læses i en almindelig browser.

 

Levering: Vores medarbejder sender dig en adgangsnøgle pr email.

 

Vi gør opmærksom på at der ikke er retur/fortrydelsesret på digitale varer.