Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Semantics with Applications: An Appetizer

Name: Semantics with Applications: An Appetizer
Brand: Springer London Ltd
SKU: 04277384
Price: 43.69 EUR
Availability: InStock
Author: Flemming Nielson
ISBN: 9781846286919

Flemming Nielson

Sprache

Englisch

Buch Broschur

Libristo-Code: 04277384

Verlag Springer London Ltd, März 2007

Semantics will have an important role to play in the future development of software systems and doma... Vollständige Beschreibung

Libristo-Code: 04277384

107 b

43.69 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Desharow Merman 1 Ltd. Youdian Bige Studio Beijing Kuaikan World Information Technology Co.

Broschur

18.00 €

Edito A1 - édition 2016 - Livre + didierfle.app Céline Braud

Broschur

19.49 €

Kaniyaan RaajakumaaraH. Der kleine Prinz, Sanskrit Antoine de Saint-Exupéry

Broschur

22.00 €

Izadora Moon ide na školski izlet Harriet Muncaster

Broschur

8.09 €

Aufsichtsbefugnisse der EZB und beteiligter Aufsichtsbehoerden. Inhalte und Grenzen Marcus Wilke

Broschur

42.95 €

Tarot divokého lesa John Matthews

Broschur

22.79 €

Cozy Cuties Coco Wyo

Broschur

7.99 €

Puzzle 1000 elementów. Compact Nightmare Before Christmas

Puzzle

6.79 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Semantics with Applications: An Appetizer

Autor Flemming Nielson

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2007

Anzahl der Seiten 274

EAN 9781846286919

ISBN 1846286913

Libristo-Code 04277384

Verlag Springer London Ltd

Gewicht 550

Abmessungen 254 x 179 x 16

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Milcah Martha Moore's Book Catherine La Courreye Blecki

Broschur

41.19 €

A Room with a View E. M. Forster

Broschur

11.19 €

How To Control Hunger With Self-Hypnosis Bryan Westra

Broschur

24.79 €

The Human Position in an Artificial World: Creativity, Ethics and AI in Knowledge Organization David Haynes

Broschur

26.49 €

Simulation and Gaming in the Network Society TOSHIYUKI KANEDA

Broschur

160.89 €

Bibliography of Tibetan Studies in Western Languages Qilong Wang

Broschur

79.09 €

Boots & Buckles Myla Jackson

Broschur

12.59 €

Measuring Up: The Metrics of Jesus Dale Kiefer

Broschur

12.59 €

Gracie's Grumpy Grandma Gretchen Griffith

Broschur

10.09 €

Instant Letter Sounds Student Workbook #47: Joker Partner: ou Sweet Sounds of Reading

Broschur

18.19 €

The Essential Milton Model: An Essential Examination Of Milton Hyland Erickson's Hypnotic Language Patterns So You Can Utilize Indirect Hypnosis T Bryan Westra

Broschur

29.49 €