Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Semantics of Specification Languages (SoSL)

Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993

Język AngielskiAngielski
Książka Miękka
Książka Semantics of Specification Languages (SoSL) Derek J. Andrews
Kod Libristo: 02172588
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 1994
This volume is based on the proceedings of the International Workshop on Semantics of Specification... Cały opis
? points 125 b
222.38 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Retail Banking Im Informationszeitalter Susanne Leist / Książka Miękka
common.buy 263.97 zł
Concours CPE - Conseiller principal d'éducation - 6e éd. Bruno Garnier / Książka Miękka
common.buy 138.91 zł
PASE DE SOFTWARE EN LÍNEA Cassiano Vasques Frota Guterres / Książka Miękka
common.buy 168.77 zł
Paleo kuchařka pro zdravý mikrobiom Alison Marrasová / Książka Miękka
common.buy 34.64 zł
TOPR 2. Nie każdy wróci wyd. 2025 Beata Sabała-Zielińska / Książka Twarda
common.buy 42.70 zł
Christmas from St. John's St. John's School Choir Audio CD Audio
common.buy 29.65 zł
Kaiser, Lábus a Rodinka Tlučhořových Jan Czech / Książka binding.
common.buy 30.77 zł
Fantastische Wolven Thiago Soares / Książka Miękka
common.buy 85.71 zł
Guide des meilleures astuces Mac OS X Pierre Brandeis / Książka Miękka
common.buy 83.46 zł
L'Art de ne pas être grand-mère Agathe Natanson / Książka Miękka
common.buy 87.03 zł
100 momentos-clave en la historia de la Iglesia Miguel Ángel Navarro Mederos / Książka Miękka
common.buy 119.75 zł
M Rtel Fur Die Freimaurer Alban Stolz / Książka Miękka
common.buy 77.04 zł
Trobairitz Angelica Rieger / Książka Twarda
common.buy 1 025.11 zł
Der Einfluss Des Kundenverhaltens Auf Die Kundenzufriedenheit Marei Bednarek / Książka Miękka
common.buy 269.67 zł
Nejen o zvěři a lovech Jan Novák / Książka Twarda
common.buy 27.92 zł
Escultura y teoría de las artes BELDA NAVARRO / Książka Miękka
common.buy 109.35 zł
Varsovia y Cracovia Bastart Cassè / Książka Miękka
common.buy 44.32 zł
Jésus Le Guillou / Książka Twarda
common.buy 76.13 zł
Ava Gardner, la diosa descalza Joan Carles Prats Riu / Książka Miękka
common.buy 232.88 zł
Staedtebauliche Vertraege nach 11 BauGB unter besonderer Beruecksichtigung der Angemessenheit ( 11 Absatz 2 Satz 1 BauGB) Ulrike Lahnor / Książka Miękka
common.buy 319.51 zł
Memorial Parisien, Ou Paris Tel Qu'il Fut, Tel Qu'il Est DUFEY-P-J-S / Książka Miękka
common.buy 112.92 zł
Capitalismo Dan Cryan / Książka Miękka
common.buy 72.35 zł
Religionsunterricht an berufsbildenden Schulen Hans-Henning Averbeck / Książka Twarda
common.buy 193.23 zł
Alukäppchen und der böse Avocadolf Norbert Golluch / Książka Miękka
common.buy 56.35 zł

This volume is based on the proceedings of the International Workshop on Semantics of Specification Languages (SoSL), held in Utrecht, the Netherlands, 25-27 October 1993. The aim of the workshop - the first in a proposed series - was to assess various attempts to formally define specification languages, and to identify a programme of work for further investigation. There are currently no other workshops or conferences covering this area. The papers provide a comprehensive overview of research into this important topic, with particular emphasis on recent developments in formal proof systems, proof checking, type consistency, static semantics, and stepwise developments of specifications. In addition to the submitted papers the volume includes three invited papers, each of which outlines the development of the semantics of a major specification language.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Semantics of Specification Languages (SoSL)
Autor Derek J. Andrews, Jan F. Groote, C.A. Middelburg
Język Angielski
Oprawa Książka - Miękka
Data wydania 1994
Liczba stron 357
EAN 9783540198543
ISBN 3540198547
Kod Libristo 02172588
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 630
Wymiary 155 x 235 x 22

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Constitutional Protection and Regulation of Property and its Influence on the Reform of Private Law and Landownership in South Africa and Germany Hanri Mostert / Książka Miękka
common.buy 354.78 zł
Being a Systems Psychodynamic Scholar Sanchen Henning / Książka Miękka
common.buy 164.90 zł
Prolog Programming Success in A Day Sam Key / Książka Twarda
common.buy 137.18 zł
Shamans, Queens, and Figurines Sarah Milledge Nelson / Książka Twarda
common.buy 1 127.55 zł
Florence has won my Heart Mark Roberts / Książka Twarda
common.buy 113.84 zł
The Photographer's Guide to New York City Steven Howell / Książka Miękka
common.buy 56.56 zł
The Crossing of the Suez Saad El Shazly / Książka Miękka
common.buy 125.56 zł
Fundamentalism and Education in the Scopes Era Adam Laats / Książka Miękka
common.buy 248.68 zł
Gail's Pocket Posh Journal, Mum Andrews McMeel Publishing / Książka Miękka
common.buy 33.12 zł
Smart Kids Make Good Decisions Rose Hall / Książka Twarda
common.buy 87.34 zł
Corporate Social Responsibility (CSR), Sustainability and Environmental Social Governance (ESG) Tracy Dathe / Książka Twarda
common.buy 368.74 zł
Conquer Negative Thinking for Teens Mary Karapetian Alvord / Książka Miękka
common.buy 92.64 zł
Hard to Very Hard Calcudoku Puzzles 6x6 Book for Adults: 200 Puzzles at the Level of Hard to Very Hard Alena Gurin / Książka Miękka
common.buy 40.56 zł
COLLOQUIAL PHRASES AND DIALOGUES IN GERM JOSEPH EHRENFRIED / Książka Twarda
common.buy 140.13 zł
CHARTER CONSTITUTION & BY-LAWS Numismatic and Antiquarian Society of Ph / Książka Twarda
common.buy 115.77 zł
Black Horse Carl Louis Kingsbury / Książka Miękka
common.buy 71.13 zł
Behaviour, Migrations, Distribution, and Stocks of Sturgeons in the Volga-Caspian Basin R.P. Khodorevskaya / Książka Miękka
common.buy 150.12 zł
40 & Fabulous: Forty Ways to Live Your Best Days...After 40 Ursula Yvette Scott Ph D / Książka Miękka
common.buy 45.34 zł
The Spirit Of Christ Andrew Murray / Książka Miękka
common.buy 32.91 zł
Inexpressible - Hesed and the Mystery of God`s Lovingkindness Michael Card / Książka Miękka
common.buy 71.13 zł
Boom! Comics by Ruth: A What Happens Next Comic Book for Budding Illustrators and Story Tellers Bokkaku Dojinshi / Książka Miękka
common.buy 44.43 zł
Perception and Understanding in Young Children Peter Bryant / Książka Miękka
common.buy 265.80 zł
TOP
Genius Zone Gay Hendricks / Książka Twarda
common.buy 74.39 zł
My First 100 Mathematics Words Chris Ferrie / Książka Leporelo
common.buy 26.90 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?