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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Program Development

IFIP TC2/WG 2.1 State-of-the-Art Report

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Program Development Bernhard Möller
Libristo kód: 05274365
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 1993
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Připravujeme
Lehrbuch u. 1 MP3-CD ASSiMiL GmbH / Kniha Pevná
common.buy 1 926 Kč
Vie Politique Et Religieuse De Thomas Becket (1842) Charles Bataille / Kniha Brožovaná
common.buy 750 Kč
50 montages de tricot Pascale THULLIER / Kniha Brožovaná
common.buy 723 Kč
Un faux pas dans la nuit Lhoste / Kniha Brožovaná
common.buy 583 Kč
Top
Akutní stavy na interním oddělení Jan Piťha / Kniha Brožovaná
common.buy 291 Kč
GRAN TRATADO DE LOS ESTADIOS EN EL CAMINO A LA ILUMINACIÓN, EL LAM RIM CHEN MO - VOLÚMEN I TSONGKAPA / Kniha Brožovaná
common.buy 831 Kč
Die vertragszahnaerztliche Wirtschaftlichkeits- und Abrechnungspruefung Ralf Großbölting / Kniha Brožovaná
common.buy 1 981 Kč
Leo Graf von Caprivi. Bismarcks Kampf gegen Caprivi Julius von Eckardt / Kniha Pevná
common.buy 1 475 Kč
Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo / Kniha Brožovaná
common.buy 1 076 Kč
Briefe an einen jungen Schriftsteller Mario Vargas Llosa / Kniha Brožovaná
common.buy 168 Kč

This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme of the group's work. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculation of programs from such specifications.

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 Program Development
Autor Bernhard Möller, Helmut Partsch, Steve Schuman
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1993
Počet stran 375
EAN 9783540574996
ISBN 3540574999
Libristo kód 05274365
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1210
Rozměry 155 x 233 x 21

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Matematika a věda > Matematika > Kombinatorika a teorie grafů
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

Success: The Best of Napoleon Hill Napoleon Hill / Kniha Brožovaná
common.buy 315 Kč
Muir Ramble Route Peter Thomas / Kniha Brožovaná
common.buy 350 Kč
American Journalism after 'The Age of Mechanical Reproduction' Bjoern Schubert / Kniha Brožovaná
common.buy 874 Kč
literary comparison of Edgar Allan Poes The Black Cat and The Tell-Tale Heart Selina Schuster / Kniha Brožovaná
common.buy 369 Kč
Icarus' Second Chance Jacques Arnould / Kniha Brožovaná
common.buy 2 357 Kč
Herman ""Baron"" Lamm, the Father of Modern Bank Robbery Walter Mittelstaedt / Kniha Brožovaná
common.buy 777 Kč
Public Assault on America's Children Valerie Polakow / Kniha Brožovaná
common.buy 683 Kč
IV. and V. Will. IV. C. 35.] the Act of Parliament [13 August, 1834] for Establishing the City of London School Anonymous / Kniha Brožovaná
common.buy 419 Kč
Future of the Euro Matthias Matthijs / Kniha Pevná
common.buy 3 245 Kč
Romans John F MacArthur / Kniha Brožovaná
common.buy 308 Kč
City of Roses Emily Isaacson / Kniha Pevná
common.buy 884 Kč
Never Say Never, Never Say Always Susan S Warner / Kniha Brožovaná
common.buy 275 Kč
The States of the River Plate: Their Industries and Commerce Wilfrid Latham / Kniha Brožovaná
common.buy 619 Kč
TinkerActive Workbooks: Kindergarten Science Taryn Johnson / Kniha Brožovaná
common.buy 275 Kč
Shirley Charlotte Brontë / Kniha Brožovaná
common.buy 438 Kč
Great War of the Dark Age Dominique Wohlschlag / Kniha Brožovaná
common.buy 245 Kč
Learn Odoo Greg Moss / Kniha Brožovaná
common.buy 1 296 Kč
Medieval Cruelty Daniel Baraz / Kniha Pevná
common.buy 2 031 Kč
Top
Algebraic Number Theory Frazer Jarvis / Kniha Brožovaná
common.buy 879 Kč
State Counsellor Boris Akunin / Kniha Brožovaná
common.buy 332 Kč
Vorticists Mark Antliffe / Kniha Brožovaná
common.buy 1 226 Kč
Urdu for Children, Book II, 3 Book Set, Part One Sajida Alvi / Kniha Brožovaná
common.buy 737 Kč
Little Polar Bear Hans DeBeer / Kniha Brožovaná
common.buy 189 Kč
Living with Nietzsche Robert C. Solomon / Kniha Brožovaná
common.buy 924 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?