phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Semantics of Specification Languages (SoSL)

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Semantics of Specification Languages (SoSL) Derek J. Andrews
Libristo kod: 02172588
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ožujak 1994
This volume is based on the proceedings of the International Workshop on Semantics of Specification... Cijeli opis
? points 154 b
61.28 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Legendary Service: The Key is to Care Ken Blanchard / Tvrdi uvez
common.buy 20.62 €
Heaven's War Michael Gaydos / Meki uvez
common.buy 17.30 €
Recueil des cours, Collected Courses, Tome/Volume 3 (1924) cademie de Droit International de la Haye / Tvrdi uvez
common.buy 150.64 €
Studies in Tudor and Stuart Politics and Government: Volume 2, Parliament Political Thought G. R. Elton / Meki uvez
common.buy 45.78 €
Viewpoint Level 2 DVD Michael McCarthy / DVD
common.buy 199.95 €
Clean Coal Technology - Scholar's Choice Edition / Meki uvez
common.buy 21.32 €
Behaviour, Migrations, Distribution, and Stocks of Sturgeons in the Volga-Caspian Basin R.P. Khodorevskaya / Meki uvez
common.buy 37.12 €
Second Glot International State-of-the-Article Book Lisa Cheng / Tvrdi uvez
common.buy 133.13 €
Constitutional Protection and Regulation of Property and its Influence on the Reform of Private Law and Landownership in South Africa and Germany Hanri Mostert / Meki uvez
common.buy 99.12 €
Retail Banking Im Informationszeitalter Susanne Leist / Meki uvez
common.buy 77.48 €

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.

Informacije o knjizi

Puni naziv Semantics of Specification Languages (SoSL)
Autor Derek J. Andrews, Jan F. Groote, C.A. Middelburg
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1994
Broj stranica 357
EAN 9783540198543
ISBN 3540198547
Libristo kod 02172588
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 630
Dimenzije 155 x 235 x 22

Kategorija

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 > Mathematical theory of computation
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun