Spar
60%
-60%
Formal Methods
Af Flemming Nielson, Hanne Riis Nielson
- ISBN13:
- 9783030051556
- Udgave:
- 1. udgave
- Stand:
-
- Bemærkning fra sælger:
- "Formal Methods - An Appetizer" Købt i 2021 til brug i kurset 02141 Datalogisk Modellering på DTU. Omslaget har trykmærker efter kuglepen og enkelte sider har blyantsnoter og tegn på slidtage, men teksten/figurerne er ikke medtaget af dette.
Produktdetaljer
- Forfatter:
- Flemming Nielson, Hanne Riis Nielson
- Forlag:
- -
- Udgave:
- 1
- ISBN13:
- 9783030051556
- ISBN10:
- 3030051552
Beskrivelse
Formal Methods by Flemming Nielson and Hanne Riis Nielson offers a concise yet comprehensive introduction to the principles of formal methods, exploring everything from the semantics of key programming constructs to sophisticated techniques for verifying and analyzing program behavior. With a thoughtful balance between abstract theory and practical application, the book employs program graphs to elegantly illustrate program control structures, lending clarity to concepts that might otherwise appear daunting. Beginning with an accessible treatment of program graphs and the Guarded Commands language, the early chapters lay a solid foundation for readers before progressing to more advanced topics such as verification, program analysis, language-based security, and model checking. Subsequent sections delve into language extensions that address procedures and concurrency, thoroughly examining their respective semantics. Ideal for advanced undergraduate and graduate courses in software development, this 160-page hardcover is enriched by a range of exercises designed to challenge and extend the reader’s understanding.
Flere annoncer fra samme sælger
Fundamentals of Digital Logic with VHDL Design
Stephen Brown, Stephen D. M.. Brown, Zvonko G.. Vranesic
278,00 kr.
Nypris 491,00 kr.
Foundations of Multithreaded, Parallel, and Distributed Programming
Gregory R. Andrews
444,00 kr.
Nypris 499,00 kr.
Andre kiggede også på
Chemistry, Global Edition
Jill K. Robinson, John McMurry, Robert C. Fay
149,00 kr.
Nypris 815,00 kr.
Fundamentals of Digital Logic with VHDL Design
Stephen Brown, Stephen D. M.. Brown, Zvonko G.. Vranesic
278,00 kr.
Nypris 491,00 kr.
Foundations of Multithreaded, Parallel, and Distributed Programming
Gregory R. Andrews
444,00 kr.
Nypris 499,00 kr.
Nem og tryg handel
Studiesalg.dk er en markedsplads hvor studerende i hele landet kan handle direkte med
hinanden.
Vores betalingsystem sikrer, at du både som køber og sælger er beskyttet, i alt lige fra
betaling, forsendelse og godkendelse af bøgerne.
Bekræftet identitet
Vi kræver MitID verificering af både sælger og køber. Dette er med til at sikre begge parter en god oplevelse og undgå svindel af enhver art.
Hurtig og sikker bestilling
Betal online med MobilePay. Vi opbevarer betalingen, og udbetaler først pengene til sælger når bøgerne er leveret og godkendt.
Nemt at sælge
Sælg nemt dine bøger videre når du ikke længere har brug for dem. Med vores web-app er det nemt at scanne stregkoder og tage billeder af dine bøger.
I samarbejde med
