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ł.

Formal Program Development

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

Język AngielskiAngielski
Książka Miękka
Książka Formal Program Development Bernhard Möller
Kod Libristo: 05274365
Wydawnictwo 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... Cały opis
? points 125 b
223.54 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Kolory. Кольори. Colours / Książka Miękka
common.buy 7.47 zł
50 montages de tricot Pascale THULLIER / Książka Miękka
common.buy 128.36 zł
Un faux pas dans la nuit Lhoste / Książka Miękka
common.buy 103.36 zł
Briefe an einen jungen Schriftsteller Mario Vargas Llosa / Książka Miękka
common.buy 31.85 zł
Mitteilungen aus den technischen Versuchsanstalten zu Berlin Max Rudeloff / Książka Miękka
common.buy 86.05 zł
Basic Course in Moroccan Arabic with MP3 Files Mohammed Abu-Talib / Książka Miękka
common.buy 206.02 zł
Lehrbuch u. 1 MP3-CD ASSiMiL GmbH / Książka Twarda
common.buy 365.74 zł
Techniques de massothérapie clinique - Région lombaire et pelvis Muscolino / Książka Miękka
common.buy 408.25 zł
Richard Pischel. Kleine Schriften Georges-Jean Pinault / Książka Twarda
common.buy 1 336.76 zł
Vie Politique Et Religieuse De Thomas Becket (1842) Charles Bataille / Książka Miękka
common.buy 140.86 zł
Akutní stavy na interním oddělení Jan Piťha / Książka Miękka
common.buy 61.66 zł
GRAN TRATADO DE LOS ESTADIOS EN EL CAMINO A LA ILUMINACIÓN, EL LAM RIM CHEN MO - VOLÚMEN I TSONGKAPA / Książka Miękka
common.buy 134.51 zł
Die vertragszahnaerztliche Wirtschaftlichkeits- und Abrechnungspruefung Ralf Großbölting / Książka Miękka
common.buy 354.06 zł
Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo / Książka Miękka
common.buy 204.38 zł
Heterarchie vernetzt Sigrid Fellner-Haferl / Książka Miękka
common.buy 345.45 zł
Leo Graf von Caprivi. Bismarcks Kampf gegen Caprivi Julius von Eckardt / Książka Twarda
common.buy 277.94 zł

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.

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 Formal Program Development
Autor Bernhard Möller, Helmut Partsch, Steve Schuman
Język Angielski
Oprawa Książka - Miękka
Data wydania 1993
Liczba stron 375
EAN 9783540574996
ISBN 3540574999
Kod Libristo 05274365
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1210
Wymiary 155 x 233 x 21

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Matematyka i nauki ścisłe > Matematyka > Kombinatoryka i teoria grafów
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
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ć

Success: The Best of Napoleon Hill Napoleon Hill / Książka Miękka
common.buy 66.38 zł
Little Island Bake Shop Jana Roerick / Książka Twarda
common.buy 117.09 zł
Public Assault on America's Children Valerie Polakow / Książka Miękka
common.buy 128.36 zł
IV. and V. Will. IV. C. 35.] the Act of Parliament [13 August, 1834] for Establishing the City of London School Anonymous / Książka Miękka
common.buy 78.88 zł
Hlub Niam Laus Yuav Niam Hluas Charly Neej Tub Nyiaj Suav Nchaiv Pov / Książka Twarda
common.buy 119.14 zł
Herman ""Baron"" Lamm, the Father of Modern Bank Robbery Walter Mittelstaedt / Książka Miękka
common.buy 138.91 zł
Romans John F MacArthur / Książka Miękka
common.buy 58.80 zł
City of Roses Emily Isaacson / Książka Twarda
common.buy 166.16 zł
Second Star Alyssa B. Sheinmel / Książka Miękka
common.buy 68.32 zł
Muir Ramble Route Peter Thomas / Książka Miękka
common.buy 66.89 zł
Manchester Moll Emma Hornby / Książka Miękka
common.buy 46.71 zł
The Linas in Troy Missouri: The Life and Times of Anton and Irma Lina MR John a Lina / Książka Miękka
common.buy 48.45 zł
TinkerActive Workbooks: Kindergarten Science Taryn Johnson / Książka Miękka
common.buy 54.19 zł
Future of the Euro Matthias Matthijs / Książka Twarda
common.buy 580.27 zł
Shirley Charlotte Brontë / Książka Miękka
common.buy 82.56 zł
Membrane Proteins in Aqueous Solutions Jean-Luc Popot / Książka Miękka
common.buy 734.45 zł
Great War of the Dark Age Dominique Wohlschlag / Książka Miękka
common.buy 46.50 zł
Learn Odoo Greg Moss / Książka Miękka
common.buy 243.51 zł
The States of the River Plate: Their Industries and Commerce Wilfrid Latham / Książka Miękka
common.buy 116.37 zł
Judgement Franz Kafka / E-book Adobe ePub DRM
common.buy 9.62 zł
Understanding the Free-Will Controversy Thomas Talbott / E-book Adobe ePub DRM
common.buy 95.17 zł
Never Say Never, Never Say Always Susan S Warner / Książka Miękka
common.buy 52.34 zł
Reckless Lauren Roberts / E-book Adobe ePub DRM
common.buy 31.13 zł
Nowość
100 Football Legends Every Fan Should Know Gigi Romano / Książka Miękka
common.buy 106.44 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?