Studiesalg
Studiebog: Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Af Flemming Nielson, Hanne Riis Nielson
ISBN13:
9781846286919
Udgave:
7. udgave, 2007
Vejledende salgspris 264,95 kr.
Midlertidigt udsolgt

Produktdetaljer

Forfatter:
Flemming Nielson, Hanne Riis Nielson
Forlag:
Springer London Ltd
Udgave:
7
Udgivelsesår:
2007
Format:
Hæftet
Sprog:
Sideantal:
274
ISBN13:
9781846286919
ISBN10:
1846286913

Beskrivelse

"Semantics with Applications: An Appetizer" offers an accessible introduction to the fundamental concepts that underpin the field of programming language semantics. The book lays out the essential principles and formulations while establishing the connections among various semantic methods through carefully stated and proven theorems. Exploring both time-honored and emerging application areas, this work demonstrates how semantics can be harnessed to validate prototype language implementations, verify sophisticated program analyses, and ensure critical security assessments. It also provides insight into affirming important program properties, including execution time, making it a valuable resource for students and practitioners aiming to deepen their understanding of concrete applications in computer science.

Læs mere Læs mindre

Andre kiggede også på

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.

4.7 Fremragende

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
SafePay Nordic
Vares stand
Her kan du læse mere om hvordan en vares stand er defineret.

  • Perfekt stand

    Perfekt stand

    Bogen har ingen, eller kun få, ubetydelige tegn på at have været anvendt. Ingen noter, skrammer eller pletter.

  • God stand

    God stand

    Ingen fejl eller mangler, der har betydning for bogens anvendelse. Overstregninger kan forekomme, men al skrift er synlig.

  • Slidt stand

    Slidt stand

    Tydeligt slidt, og kan måske have væsentlige defekter som løssrevne sider, eller kuglepensnoter.

Vælg blandt annoncer
Semantics with Applications: An Appetizer - 7. udgave, 2007