Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Program Development

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

Limba englezăengleză
Carte Carte broșată
Carte Formal Program Development Bernhard Möller
Codul Libristo: 05274365
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noiembrie 1993
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve... Descrierea completă
? points 132 b
285.16 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Kolory. Кольори. Colours / Carte Carte broșată
common.buy 10.80 lei
50 montages de tricot Pascale THULLIER / Carte Carte broșată
common.buy 155.41 lei
Un faux pas dans la nuit Lhoste / Carte Carte broșată
common.buy 124.95 lei
Briefe an einen jungen Schriftsteller Mario Vargas Llosa / Carte Carte broșată
common.buy 46.56 lei
Mitteilungen aus den technischen Versuchsanstalten zu Berlin Max Rudeloff / Carte Carte broșată
common.buy 103.95 lei
Basic Course in Moroccan Arabic with MP3 Files Mohammed Abu-Talib / Carte Carte broșată
common.buy 262.81 lei
Leo Graf von Caprivi. Bismarcks Kampf gegen Caprivi Julius von Eckardt / Carte Copertă tare
common.buy 353.77 lei
Techniques de massothérapie clinique - Région lombaire et pelvis Muscolino / Carte Carte broșată
common.buy 494.22 lei
Richard Pischel. Kleine Schriften Georges-Jean Pinault / Carte Copertă tare
common.buy 1 684.17 lei
Vie Politique Et Religieuse De Thomas Becket (1842) Charles Bataille / Carte Carte broșată
common.buy 178.80 lei
Die cephalopodenfauna der Wernsdorfer Schichten Viktor Uhlig / Carte Carte broșată
common.buy 94.39 lei
Akutní stavy na interním oddělení Jan Piťha / Carte Carte broșată
common.buy 85.55 lei
GRAN TRATADO DE LOS ESTADIOS EN EL CAMINO A LA ILUMINACIÓN, EL LAM RIM CHEN MO - VOLÚMEN I TSONGKAPA / Carte Carte broșată
common.buy 180.16 lei
Die vertragszahnaerztliche Wirtschaftlichkeits- und Abrechnungspruefung Ralf Großbölting / Carte Carte broșată
common.buy 428.63 lei
Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo / Carte Carte broșată
common.buy 261.97 lei
Heterarchie vernetzt Sigrid Fellner-Haferl / Carte Carte broșată
common.buy 418.23 lei
Lehrbuch u. 1 MP3-CD ASSiMiL GmbH / Carte Copertă tare
common.buy 468.75 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Program Development
Autor Bernhard Möller, Helmut Partsch, Steve Schuman
Limba engleză
Legare Carte - Carte broșată
Data publicării 1993
Număr pagini 375
EAN 9783540574996
ISBN 3540574999
Codul Libristo 05274365
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1210
Dimensiuni 155 x 233 x 21

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Success: The Best of Napoleon Hill Napoleon Hill / Carte Carte broșată
common.buy 85.03 lei
Little Island Bake Shop Jana Roerick / Carte Copertă tare
common.buy 149.59 lei
Public Assault on America's Children Valerie Polakow / Carte Carte broșată
common.buy 163.21 lei
IV. and V. Will. IV. C. 35.] the Act of Parliament [13 August, 1834] for Establishing the City of London School Anonymous / Carte Carte broșată
common.buy 100.00 lei
Hlub Niam Laus Yuav Niam Hluas Charly Neej Tub Nyiaj Suav Nchaiv Pov / Carte Copertă tare
common.buy 150.42 lei
Herman ""Baron"" Lamm, the Father of Modern Bank Robbery Walter Mittelstaedt / Carte Carte broșată
common.buy 177.04 lei
Romans John F MacArthur / Carte Carte broșată
common.buy 75.57 lei
City of Roses Emily Isaacson / Carte Copertă tare
common.buy 210.82 lei
Second Star Alyssa B. Sheinmel / Carte Carte broșată
common.buy 87.63 lei
Muir Ramble Route Peter Thomas / Carte Carte broșată
common.buy 85.97 lei
Manchester Moll Emma Hornby / Carte Carte broșată
common.buy 60.18 lei
The Linas in Troy Missouri: The Life and Times of Anton and Irma Lina MR John a Lina / Carte Carte broșată
common.buy 61.74 lei
TinkerActive Workbooks: Kindergarten Science Taryn Johnson / Carte Carte broșată
common.buy 69.02 lei
Future of the Euro Matthias Matthijs / Carte Copertă tare
common.buy 1 066.85 lei
Shirley Charlotte Brontë / Carte Carte broșată
common.buy 104.99 lei
Membrane Proteins in Aqueous Solutions Jean-Luc Popot / Carte Carte broșată
common.buy 937.42 lei
Great War of the Dark Age Dominique Wohlschlag / Carte Carte broșată
common.buy 59.56 lei
Learn Odoo Greg Moss / Carte Carte broșată
common.buy 309.17 lei
The States of the River Plate: Their Industries and Commerce Wilfrid Latham / Carte Carte broșată
common.buy 147.82 lei
Judgement Franz Kafka / E-book Adobe ePub DRM
common.buy 11.63 lei
Understanding the Free-Will Controversy Thomas Talbott / E-book Adobe ePub DRM
common.buy 115.18 lei
Never Say Never, Never Say Always Susan S Warner / Carte Carte broșată
common.buy 67.36 lei
Reckless Lauren Roberts / E-book Adobe ePub DRM
common.buy 37.83 lei
Nou
100 Football Legends Every Fan Should Know Gigi Romano / Carte Carte broșată
common.buy 136.39 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?