Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
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č
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods in Programming and Their Applications

International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods in Programming and Their Applications Dines Bjorner
Libristo kód: 01565716
Nakladatelství Springer, Berlin, listopad 1992
This volume comprises the papers selected for presentation at the international conference on Formal... Celý popis
? points 118 b
1 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Cuentos Cibrán / Kniha Brožovaná
common.buy 309 Kč
Nové
En avais-je le talent, j'en avais en tout cas le goût Mitterrand / Kniha Brožovaná
common.buy 638 Kč
Puzzle 1000 Trefl Premium Plus Tea Time Lamparty w pracowni malarskiej 12145 / Kniha binding.
common.buy 176 Kč
Qualidade Da Auditoria E Gest?o de Resultados Cyprian Terhemba Gbasha / Kniha Brožovaná
common.buy 1 236 Kč
Técnicas de imagen en odontología Suparna Ganguly Saha / Kniha Brožovaná
common.buy 1 620 Kč
Un baiser maudit Erin Sterling / Kniha Brožovaná
common.buy 527 Kč
MANUEL DU PARFAIT PETIT SECRETAIRE COMMERCIAL Jacques STERNBERG Kniha Brožovaná
common.buy 260 Kč
La grande JUAN JOSE SAER / Kniha Brožovaná
common.buy 657 Kč
Frenki N'Yumen Protiv Virtual'nosti Mikhail Akimov / Kniha Brožovaná
common.buy 610 Kč
Bundestagsprasident - Aufgaben, Funktionen und Probleme eines Amtes Christian Tischner / Kniha Brožovaná
common.buy 369 Kč
Mimo Sud Petr Hrabalik / Kniha binding.
common.buy 140 Kč

This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences and was the first forum organized by the Institute which was entirely dedicated to formal methods.The main scientific tracks of the conference were centered around formal methods of program development and program construction. The papers in the book are grouped into the following parts:- formal semantics methods- algebraic specification methods- semantic program analysis and abstract interpretation- semantics of parallelism- logic of programs- software specification and verification- transformational development and program synthesis.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods in Programming and Their Applications
Autor Dines Bjorner, Manfred Broy, Igor V. Pottosin
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1993
Počet stran 438
EAN 9783540573166
ISBN 354057316X
Libristo kód 01565716
Nakladatelství Springer, Berlin
Váha 584
Rozměry 156 x 234 x 23

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
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 > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
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

Quasiconformal Mappings in the Plane and Complex Dynamics Luis T. Magalhães / Kniha Pevná
common.buy 1 728 Kč
The Golden Voice of Mussolini and Roosevelt Sandro Gerbi / Kniha Pevná
common.buy 2 680 Kč
Beyond the Himalayas: A Story of Travel and Adventure in the Wilds of Tibet (1882) John Geddie / Kniha Pevná
common.buy 1 039 Kč
Kimchi or Bratwurst? Wyatt Tuell / Kniha Pevná
common.buy 311 Kč
Studio Series Portable Black Paper Sketch Pad 6 X 9 Inches (50 Perforated Sheets) / Kniha Brožovaná
common.buy 164 Kč
Protest and Democracy Roberta Rice / Kniha Pevná
common.buy 1 886 Kč
69 Beautiful Homes of Wood Weyerhaeuser Sales Co / Kniha Brožovaná
common.buy 390 Kč
Top
Tune in to the Midnight Heart 8 Masakuni Igarashi / Kniha Brožovaná
common.buy 247 Kč
Some Girls Do Jennifer Dugan / Kniha Pevná
common.buy 529 Kč
Annual Report... Ohio Tax Commission / Kniha Brožovaná
common.buy 398 Kč
The Life Of Rutherford Birchard Hayes V2: Nineteenth President Of The United States (1914) Charles Richard Williams / Kniha Pevná
common.buy 1 329 Kč
Twin Is to Hug John Nez / Kniha Leporelo
common.buy 175 Kč
Připravujeme
Stone Cold Touch Jennifer L. Armentrout / Kniha Brožovaná
common.buy 185 Kč
Grandma's Herbal Remedies 2 - The secret recipes MR a H Smithers / Kniha Brožovaná
common.buy 201 Kč
House of the Wolf Stanley John Weyman / Kniha Brožovaná
common.buy 529 Kč
Nové
The Great Tales of Middle-Earth Deluxe Box Set Christopher Tolkien / Kniha Brožovaná
common.buy 5 379 Kč
Greek and Arabic Lexicon (GALEX) Gerhard Endress / Kniha Brožovaná
common.buy 3 969 Kč
Připravujeme Nové
FOUNDERS GAME PRACTICAL PLAYBOOK TO RITZHEIMER SCOTT / Kniha Pevná
common.buy 715 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?