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.

MetaSoft Primer

Towards a Metalanguage for Applied Denotational Semantics

Limba englezăengleză
Carte Carte broșată
Carte MetaSoft Primer Andrzej Blikle
Codul Libristo: 05273636
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
The book is devoted to a simplified set-theoretic version of denotational semantics where sets are u... Descrierea completă
? points 132 b
285.47 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

A RIPPLE RINGED VIOLON MUSIQUE D'ENSEMBLE JOSHUA FINEBERG Carte binding.
common.buy 148.19 lei
MEURTRE(S) AU FESTIVAL DU LIVRE DE CHARLEROI / Carte Carte broșată
common.buy 71.49 lei
Ninja Foodi Kochbuch Deutsch Edition Gesunde Rezepte Edition / Carte Carte broșată
common.buy 130.91 lei
Knihy bez záruky Petr Poslední / Carte Carte broșată
common.buy 21.84 lei
Beiträge zur Physiologie erschiedene Autoren / Carte Carte broșată
common.buy 119.15 lei
Warum haben die türkischen Muslimen Angst vor der Integration Sharif Asadi / Carte Carte broșată
common.buy 262.05 lei
Alles über Britney Spears / Carte Copertă tare
common.buy 124.57 lei
Sex positive. La rivoluzione gentile che sta cambiando la sessualità Filippo Maria Nimbi / Carte Carte broșată
common.buy 107.71 lei
Dictionnaire des prénoms musulmans - filles Benturki Saidi / Carte Carte broșată
common.buy 68.68 lei
Die Playmos - Auf der Jagd nach dem goldenen Schlüssel, 1 Audio-CD David Bredel / Audio Audio CD
common.buy 50.67 lei
Leftin
Rationalitat der Metapher Bernhard Debatin / Carte Copertă tare
common.buy 86.27 lei
Mathematik für die zweijährige Berufsfachschule Wirtschaft. Niedersachsen Rolf Männel / Carte Carte broșată
common.buy 203.97 lei
Les Capitales de l'Europe Sans Auteur / Carte Carte broșată
common.buy 70.03 lei
Wanderjahre in Italien Ferdinand Gregorovius / Carte Carte broșată
common.buy 148.71 lei
Candide Voltaire / Carte Carte broșată
common.buy 63.68 lei
Oeuvres Choisies Tome 5 Abbe Prevost / Carte Carte broșată
common.buy 203.77 lei
'Boy2Girl' im Unterricht Terence Blacker / Carte Foaie
common.buy 39.43 lei
Tagebuch eines Vampirs - Schwarze Mitternacht Lisa J. Smith / Carte Carte broșată
common.buy 50.67 lei
ORGELKONZ. B-DUR OP.7/3 HWV308 GEORG FRIEDRICH HAND Carte binding.
common.buy 49.63 lei
Schule für die Sopranblockflöte, Lehrerkommentar GERHARD ENGEL_GUDRUN / Carte binding.
common.buy 110.72 lei
Hallo Tamukinder Micaela Grüner / Materiale tipărite Note muzicale
common.buy 67.85 lei
Galerie minerálů Vysočiny Marcel Vanek / Carte Copertă tare
common.buy 122.69 lei
La odisea de Ohesido Sesilú ALBERT GUELL JUANOLA / Carte Carte broșată
common.buy 124.36 lei
CLARINETTE FACILE VOL 1 --- CLARINETTE Carte binding.
common.buy 140.18 lei

The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the project MetaSoft aimed at the development of a definitional metalanguage for software engineering. The approach has also been chosen in the project RAISE (ESPRIT) which aims at a similar goal. The book consists of two parts. Part One is devoted to the mathematical foundations of the future definitional metalanguage of MetaSoft. This part also introduces an appropriate notation. Part Two shows the applications of this metalanguage. There the denotational definition of a subset of Pascal is discussed with particular emphasis on Pascal types.

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 MetaSoft Primer
Autor Andrzej Blikle
Limba engleză
Legare Carte - Carte broșată
Număr pagini 148
EAN 9783540186571
ISBN 3540186573
Codul Libristo 05273636
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 520
Dimensiuni 155 x 235 x 9

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 programming / software engineering > Software Engineering
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

Trends in Distributed Systems for Electronic Commerce Winfried Lamersdorf / Carte Carte broșată
common.buy 306.49 lei
Non-Centrosymmetric Superconductors Ernst Bauer / Carte Carte broșată
common.buy 512.56 lei
Definitive Guide to Spring Batch Michael T. Minella / E-book Adobe ePub DRM
common.buy 454.90 lei
(Re)imagining the World Yan Wu / Carte Copertă tare
common.buy 569.38 lei
Earth Changes Edgar Cayce / Carte Carte broșată
common.buy 71.49 lei
Leak: Why Mark Felt Became Deep Throat Max Holland / Carte Carte broșată
common.buy 128.94 lei
Million Dollar Baby F. X. Toole / Carte Carte broșată
common.buy 95.11 lei
Sophie Calle Sophie Calle / Carte Copertă tare
common.buy 522.76 lei
Diagnosis of Toxoplasma by SAG antigens in human Alyaa Ahmed Farid / Carte Carte broșată
common.buy 271.73 lei
Progress in Rubber Nanocomposites Sabu Thomas / Carte Copertă tare
common.buy 1 380.12 lei
Why Usually Honest People Steal Will Cupchik Phd / Carte Carte broșată
common.buy 111.56 lei
Learning to Live Jeanie M Huff / Carte Carte broșată
common.buy 116.76 lei
Hank's Stories Hampton Forbes Jr / Carte Carte broșată
common.buy 89.28 lei
Dictionarium Polygraphicum John Barrow / Carte Carte broșată
common.buy 173.79 lei
General Report on the Punjab Oil Lands Benjamin Smith Lyman Public Works Dept / Carte Carte broșată
common.buy 94.70 lei
Curând
Peers Helping Peers Shirley Salmon-White / Carte Carte broșată
common.buy 347.39 lei
Top
Crooked Kingdom Collector's Edition Leigh Bardugo / Carte Copertă tare
common.buy 130.50 lei
Nou
Made in Asian America: A History for Young People Christina Soontornvat / Carte Carte broșată
common.buy 47.03 lei
The Lady and the Orc Finley Fenn / Carte Copertă tare
common.buy 137.79 lei
Blonde Identity Ally Carter / Carte Carte broșată
common.buy 54.63 lei
Appletons' Illustrated Railway And Steam Navigation Guide D. Appleton and Company / Carte Carte broșată
common.buy 126.96 lei
Porsche 911 Turbo S Joanne Mattern / Carte Copertă tare
common.buy 190.76 lei
Top
The Ultimate IMAT Guide: 650 Practice Questions, Fully Worked Solutions, Time Saving Techniques, Score Boosting Strategies, UniAdmissions Rohan Agarwal / Carte Carte broșată
common.buy 205.85 lei
Top
What We'll Build JEFFERS / Carte Copertă tare
common.buy 81.27 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?