Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Semantics with Applications: An Appetizer

Language EnglishEnglish
Book Paperback
Book Semantics with Applications: An Appetizer Flemming Nielson
Libristo code: 04277384
Publishers Springer London Ltd, March 2007
Semantics will have an important role to play in the future development of software systems and doma... Full description
? points 102 b
14 916 Ft
In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

Desharow Merman 1 Ltd. Youdian Bige Studio Beijing Kuaikan World Information Technology Co. / Book Paperback
common.buy 6 278 Ft
Top
Edito A1 - édition 2016 - Livre + didierfle.app Céline Braud / Book Paperback
common.buy 6 963 Ft
Top
Kaniyaan RaajakumaaraH. Der kleine Prinz, Sanskrit Antoine de Saint-Exupéry / Book Paperback
common.buy 7 226 Ft
Izadora Moon ide na školski izlet Harriet Muncaster / Book Paperback
common.buy 3 093 Ft
Aufsichtsbefugnisse der EZB und beteiligter Aufsichtsbehoerden. Inhalte und Grenzen Marcus Wilke / Book Paperback
common.buy 14 815 Ft
Tarot divokého lesa John Matthews / Book Paperback
common.buy 7 704 Ft
Cozy Cuties Coco Wyo / Book Paperback
common.buy 2 844 Ft
Top
Puzzle 1000 elementów. Compact Nightmare Before Christmas / Game/Toy Jigsaw puzzle
common.buy 2 320 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Semantics with Applications: An Appetizer
Author Flemming Nielson
Language English
Binding Book - Paperback
Date of issue 2007
Number of pages 274
EAN 9781846286919
ISBN 1846286913
Libristo code 04277384
Publishers Springer London Ltd
Weight 550
Dimensions 254 x 179 x 16

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Milcah Martha Moore's Book Catherine La Courreye Blecki / Book Paperback
common.buy 15 063 Ft
A Room with a View E. M. Forster / Book Paperback
common.buy 4 128 Ft
How To Control Hunger With Self-Hypnosis Bryan Westra / Book Paperback
common.buy 9 094 Ft
The Human Position in an Artificial World: Creativity, Ethics and AI in Knowledge Organization David Haynes / Book Paperback
common.buy 9 338 Ft
Simulation and Gaming in the Network Society TOSHIYUKI KANEDA / Book Paperback
common.buy 59 222 Ft
Bibliography of Tibetan Studies in Western Languages Qilong Wang / Book Paperback
common.buy 29 188 Ft
Boots & Buckles Myla Jackson / Book Paperback
common.buy 4 639 Ft
Measuring Up: The Metrics of Jesus Dale Kiefer / Book Paperback
common.buy 4 639 Ft
Gracie's Grumpy Grandma Gretchen Griffith / Book Paperback
common.buy 3 691 Ft
Instant Letter Sounds Student Workbook #47: Joker Partner: ou Sweet Sounds of Reading / Book Paperback
common.buy 6 701 Ft
The Essential Milton Model: An Essential Examination Of Milton Hyland Erickson's Hypnotic Language Patterns So You Can Utilize Indirect Hypnosis T Bryan Westra / Book Paperback
common.buy 10 829 Ft
I'll Do It Myself Janet Glaser / Book Paperback
common.buy 5 325 Ft
The Wealthy Gardener: Lessons on Prosperity Between Father and Son SOFORIC JOHN / Book Hardback
common.buy 7 852 Ft
Siege of the Heart: Civil War Military Romance Lexy Timms / Book Paperback
common.buy 2 918 Ft
The Tidings Brought to Mary: A Mystery (1916) Paul Claudel / Book Paperback
common.buy 10 595 Ft
The Academy M D James / Book Paperback
common.buy 3 254 Ft
Indecent Liberties: Some Crimes Are Worse Than Murder David S Brannon / Book Paperback
common.buy 4 639 Ft
Red Thread Oak Publishing / Book Hardback
common.buy 27 757 Ft
Top
Visual Thinking Willemien Brand / Book Paperback
common.buy 7 562 Ft
Shriek Jeff VanderMeer / Book Paperback
common.buy 8 974 Ft
Scenes and Sketches in Legal Life William] [Spink / Book Hardback
common.buy 13 121 Ft
Making Good Tina Loo / Book Hardback
common.buy 32 488 Ft
Assessment of the Catholic Church's Role in Marketing Agro-products Hilary Muheezangango / Book Paperback
common.buy 24 737 Ft
Day Hikes in Grand Teton National Park: 89 Great Hikes Robert Stone / Book Paperback
common.buy 4 832 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?