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: Semantics with Applications: An Appetizer

Semantics with Applications - An Appetizer

Semantics with Applications

An Appetizer
Hanne Riis Nielson og Flemming Nielson
(2007)
Sprog: Engelsk
Springer London, Limited
348,00 kr.
ikke på lager, Bestil nu og få den leveret
om ca. 15 hverdage
Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer Vital Source e-bog

Hanne Riis Nielson og Flemming Nielson
(2007)
Springer Nature
235,00 kr.
Leveres umiddelbart efter køb

Detaljer om varen

  • Paperback: 274 sider
  • Udgiver: Springer London, Limited (April 2007)
  • Forfattere: Hanne Riis Nielson og Flemming Nielson
  • ISBN: 9781846286919
Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages. Verifying program analyses that are part of more advanced implementations of programming languages. Verifying security analyses. Verifying useful program properties including information about execution time.
Operational Semantics.- More on Operational Semantics.- Provably Correct Implementation.- Denotational Semantics.- More on Denotational Semantics.- Program Analysis.- More on Program Analysis.- Axiomatic Program Verification.- More on Axiomatic Program Verification.- Further Reading.

Detaljer om varen

  • Vital Source 180 day rentals (fixed pages)
  • Udgiver: Springer Nature (April 2007)
  • Forfattere: Hanne Riis Nielson og Flemming Nielson
  • ISBN: 9781846286926R180
Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages.
Licens varighed:
Bookshelf online: 180 dage fra købsdato.
Bookshelf appen: 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)
De oplyste priser er inkl. moms

Om denne ebog

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

 

Bøgerne er lavet til studiebrug og har gode indbyggede værktøjer  til bl.a. søgning , tekst markering, note tagning m.v.

 

Bookshelf appen findes til forskellige systemer, er gratis og kan downloades her.  

 

For mere information om anskaffelse og brug af Vital Source ebøger, se vores FAQ.

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 Bookshelf: 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. søgning, overstregning, notetagning mv. I langt de fleste tilfælde vil du samtidig have en sideløbende 1825 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.