Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Semantics with Applications: An Appetizer

Limba englezăengleză
Carte Carte broșată
Carte Semantics with Applications: An Appetizer Flemming Nielson
Codul Libristo: 04277384
Editura Springer London Ltd, martie 2007
Semantics will have an important role to play in the future development of software systems and doma... Descrierea completă
? points 97 b
210.80 lei
În depozitul extern Expediem în 10-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Desharow Merman 1 Ltd. Youdian Bige Studio Beijing Kuaikan World Information Technology Co. / Carte Carte broșată
common.buy 90.10 lei
Top
Edito A1 - édition 2016 - Livre + didierfle.app Céline Braud / Carte Carte broșată
common.buy 103.31 lei
Top
Kaniyaan RaajakumaaraH. Der kleine Prinz, Sanskrit Antoine de Saint-Exupéry / Carte Carte broșată
common.buy 103.52 lei
Izadora Moon ide na školski izlet Harriet Muncaster / Carte Carte broșată
common.buy 40.47 lei
Aufsichtsbefugnisse der EZB und beteiligter Aufsichtsbehoerden. Inhalte und Grenzen Marcus Wilke / Carte Carte broșată
common.buy 212.78 lei
Tarot divokého lesa John Matthews / Carte Carte broșată
common.buy 114.45 lei
Cozy Cuties Coco Wyo / Carte Carte broșată
common.buy 40.99 lei
Top
Puzzle 1000 elementów. Compact Nightmare Before Christmas / Joc / Jucărie Puzzle
common.buy 34.43 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Semantics with Applications: An Appetizer
Autor Flemming Nielson
Limba engleză
Legare Carte - Carte broșată
Data publicării 2007
Număr pagini 274
EAN 9781846286919
ISBN 1846286913
Codul Libristo 04277384
Editura Springer London Ltd
Greutatea 550
Dimensiuni 254 x 179 x 16

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Milcah Martha Moore's Book Catherine La Courreye Blecki / Carte Carte broșată
common.buy 218.60 lei
A Room with a View E. M. Forster / Carte Carte broșată
common.buy 59.61 lei
How To Control Hunger With Self-Hypnosis Bryan Westra / Carte Carte broșată
common.buy 131.30 lei
The Human Position in an Artificial World: Creativity, Ethics and AI in Knowledge Organization David Haynes / Carte Carte broșată
common.buy 134.94 lei
Simulation and Gaming in the Network Society TOSHIYUKI KANEDA / Carte Carte broșată
common.buy 920.85 lei
Bibliography of Tibetan Studies in Western Languages Qilong Wang / Carte Carte broșată
common.buy 449.81 lei
Boots & Buckles Myla Jackson / Carte Carte broșată
common.buy 66.89 lei
Measuring Up: The Metrics of Jesus Dale Kiefer / Carte Carte broșată
common.buy 66.89 lei
Gracie's Grumpy Grandma Gretchen Griffith / Carte Carte broșată
common.buy 53.26 lei
Instant Letter Sounds Student Workbook #47: Joker Partner: ou Sweet Sounds of Reading / Carte Carte broșată
common.buy 96.65 lei
The Essential Milton Model: An Essential Examination Of Milton Hyland Erickson's Hypnotic Language Patterns So You Can Utilize Indirect Hypnosis T Bryan Westra / Carte Carte broșată
common.buy 156.17 lei
I'll Do It Myself Janet Glaser / Carte Carte broșată
common.buy 76.68 lei
The Wealthy Gardener: Lessons on Prosperity Between Father and Son SOFORIC JOHN / Carte Copertă tare
common.buy 112.47 lei
Siege of the Heart: Civil War Military Romance Lexy Timms / Carte Carte broșată
common.buy 42.23 lei
The Tidings Brought to Mary: A Mystery (1916) Paul Claudel / Carte Carte broșată
common.buy 152.95 lei
The Academy M D James / Carte Carte broșată
common.buy 46.81 lei
Indecent Liberties: Some Crimes Are Worse Than Murder David S Brannon / Carte Carte broșată
common.buy 66.89 lei
Red Thread Oak Publishing / Carte Copertă tare
common.buy 400.17 lei
Visual Thinking Willemien Brand / Carte Carte broșată
common.buy 108.52 lei
Shriek Jeff VanderMeer / Carte Carte broșată
common.buy 125.48 lei
Scenes and Sketches in Legal Life William] [Spink / Carte Copertă tare
common.buy 189.57 lei
Making Good Tina Loo / Carte Copertă tare
common.buy 463.96 lei
Assessment of the Catholic Church's Role in Marketing Agro-products Hilary Muheezangango / Carte Carte broșată
common.buy 381.76 lei
Day Hikes in Grand Teton National Park: 89 Great Hikes Robert Stone / Carte Carte broșată
common.buy 69.29 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?