Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Semantics of Specification Languages (SoSL)

Name: Semantics of Specification Languages (SoSL)
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02172588
Price: 1182 CZK
Availability: InStock
Author: Derek J. Andrews
ISBN: 9783540198543

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

Derek J. Andrews

Jan F. Groote

C.A. Middelburg

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02172588

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 1994

This volume is based on the proceedings of the International Workshop on Semantics of Specification... Celý popis

Libristo kód: 02172588

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Retail Banking Im Informationszeitalter Susanne Leist

Brožovaná

1 401 Kč

L'Art de ne pas être grand-mère Agathe Natanson

Brožovaná

490 Kč

Guide des meilleures astuces Mac OS X Pierre Brandeis

Brožovaná

469 Kč

Fantastische Wolven Thiago Soares

Brožovaná

458 Kč

Kaiser, Lábus a Rodinka Tlučhořových Jan Czech

binding.

167 Kč

TOPR 2. Nie każdy wróci wyd. 2025 Beata Sabała-Zielińska

Pevná

256 Kč

Concours CPE - Conseiller principal d'éducation - 6e éd. Bruno Garnier

Brožovaná

781 Kč

PASE DE SOFTWARE EN LÍNEA Cassiano Vasques Frota Guterres

Brožovaná

893 Kč

Jésus Le Guillou

Pevná

424 Kč

CAVATINA (PERLMAN) VIOLON JOSEPH-JOACHIM RAFF Kniha

binding.

236 Kč

Alukäppchen und der böse Avocadolf Norbert Golluch

Brožovaná

317 Kč

Religionsunterricht an berufsbildenden Schulen Hans-Henning Averbeck

Pevná

1 029 Kč

Capitalismo Dan Cryan

Brožovaná

404 Kč

Memorial Parisien, Ou Paris Tel Qu'il Fut, Tel Qu'il Est DUFEY-P-J-S

Brožovaná

606 Kč

Staedtebauliche Vertraege nach 11 BauGB unter besonderer Beruecksichtigung der Angemessenheit ( 11 Absatz 2 Satz 1 BauGB) Ulrike Lahnor

Brožovaná

1 702 Kč

Ava Gardner, la diosa descalza Joan Carles Prats Riu

Brožovaná

1 306 Kč

100 momentos-clave en la historia de la Iglesia Miguel Ángel Navarro Mederos

Brožovaná

670 Kč

Escultura y teoría de las artes BELDA NAVARRO

Brožovaná

612 Kč

Nejen o zvěři a lovech Jan Novák

Pevná

157 Kč

Der Einfluss Des Kundenverhaltens Auf Die Kundenzufriedenheit Marei Bednarek

Brožovaná

1 434 Kč

Trobairitz Angelica Rieger

Pevná

5 460 Kč

M Rtel Fur Die Freimaurer Alban Stolz

Brožovaná

408 Kč

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.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Semantics of Specification Languages (SoSL)

Autor Derek J. Andrews, Jan F. Groote, C.A. Middelburg

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1994

Počet stran 357

EAN 9783540198543

ISBN 3540198547

Libristo kód 02172588

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 630

Rozměry 155 x 235 x 22

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Constitutional Protection and Regulation of Property and its Influence on the Reform of Private Law and Landownership in South Africa and Germany Hanri Mostert

Brožovaná

1 886 Kč