Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Program Development

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Program Development Bernhard Möller
Koda Libristo: 05274365
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 1993
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve... Celoten opis
? points 118 b
48.80 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Kmalu
Lehrbuch u. 1 MP3-CD ASSiMiL GmbH / Knjiga Trda
common.buy 79.52 €
Vie Politique Et Religieuse De Thomas Becket (1842) Charles Bataille / Knjiga Mehka
common.buy 30.91 €
50 montages de tricot Pascale THULLIER / Knjiga Mehka
common.buy 27.27 €
Un faux pas dans la nuit Lhoste / Knjiga Mehka
common.buy 21.92 €
Top
Akutní stavy na interním oddělení Jan Piťha / Knjiga Mehka
common.buy 13.43 €
GRAN TRATADO DE LOS ESTADIOS EN EL CAMINO A LA ILUMINACIÓN, EL LAM RIM CHEN MO - VOLÚMEN I TSONGKAPA / Knjiga Mehka
common.buy 31.11 €
Die vertragszahnaerztliche Wirtschaftlichkeits- und Abrechnungspruefung Ralf Großbölting / Knjiga Mehka
common.buy 74.06 €
Leo Graf von Caprivi. Bismarcks Kampf gegen Caprivi Julius von Eckardt / Knjiga Trda
common.buy 60.92 €
Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo / Knjiga Mehka
common.buy 44.45 €
Briefe an einen jungen Schriftsteller Mario Vargas Llosa / Knjiga Mehka
common.buy 6.96 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Program Development
Avtor Bernhard Möller, Helmut Partsch, Steve Schuman
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1993
Število strani 375
EAN 9783540574996
ISBN 3540574999
Koda Libristo 05274365
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 1210
Mere 155 x 233 x 21

Kategorije

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Combinatorics & graph theory
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Success: The Best of Napoleon Hill Napoleon Hill / Knjiga Mehka
common.buy 12.92 €
Muir Ramble Route Peter Thomas / Knjiga Mehka
common.buy 14.44 €
American Journalism after 'The Age of Mechanical Reproduction' Bjoern Schubert / Knjiga Mehka
common.buy 36.07 €
literary comparison of Edgar Allan Poes The Black Cat and The Tell-Tale Heart Selina Schuster / Knjiga Mehka
common.buy 15.25 €
Icarus' Second Chance Jacques Arnould / Knjiga Mehka
common.buy 97.30 €
Herman ""Baron"" Lamm, the Father of Modern Bank Robbery Walter Mittelstaedt / Knjiga Mehka
common.buy 33.74 €
Public Assault on America's Children Valerie Polakow / Knjiga Mehka
common.buy 28.18 €
IV. and V. Will. IV. C. 35.] the Act of Parliament [13 August, 1834] for Establishing the City of London School Anonymous / Knjiga Mehka
common.buy 17.27 €
Future of the Euro Matthias Matthijs / Knjiga Trda
common.buy 140.35 €
Romans John F MacArthur / Knjiga Mehka
common.buy 12.72 €
City of Roses Emily Isaacson / Knjiga Trda
common.buy 36.47 €
Never Say Never, Never Say Always Susan S Warner / Knjiga Mehka
common.buy 11.31 €
The States of the River Plate: Their Industries and Commerce Wilfrid Latham / Knjiga Mehka
common.buy 25.56 €
TinkerActive Workbooks: Kindergarten Science Taryn Johnson / Knjiga Mehka
common.buy 11.31 €
Shirley Charlotte Brontë / Knjiga Mehka
common.buy 18.08 €
Great War of the Dark Age Dominique Wohlschlag / Knjiga Mehka
common.buy 10.10 €
Learn Odoo Greg Moss / Knjiga Mehka
common.buy 53.55 €
Medieval Cruelty Daniel Baraz / Knjiga Trda
common.buy 83.86 €
Top
Algebraic Number Theory Frazer Jarvis / Knjiga Mehka
common.buy 36.27 €
State Counsellor Boris Akunin / Knjiga Mehka
common.buy 13.94 €
Vorticists Mark Antliffe / Knjiga Mehka
common.buy 46.17 €
Urdu for Children, Book II, 3 Book Set, Part One Sajida Alvi / Knjiga Mehka
common.buy 30.41 €
Little Polar Bear Hans DeBeer / Knjiga Mehka
common.buy 6.15 €
Living with Nietzsche Robert C. Solomon / Knjiga Mehka
common.buy 40.01 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo