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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.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.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Curând
Lehrbuch u. 1 MP3-CD ASSiMiL GmbH / Carte Copertă tare
common.buy 470.08 lei
Vie Politique Et Religieuse De Thomas Becket (1842) Charles Bataille / Carte Carte broșată
common.buy 179.31 lei
50 montages de tricot Pascale THULLIER / Carte Carte broșată
common.buy 157.00 lei
Un faux pas dans la nuit Lhoste / Carte Carte broșată
common.buy 126.55 lei
Top
Akutní stavy na interním oddělení Jan Piťha / Carte Carte broșată
common.buy 79.22 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.46 lei
Die vertragszahnaerztliche Wirtschaftlichkeits- und Abrechnungspruefung Ralf Großbölting / Carte Carte broșată
common.buy 430.04 lei
Leo Graf von Caprivi. Bismarcks Kampf gegen Caprivi Julius von Eckardt / Carte Copertă tare
common.buy 354.77 lei
Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo / Carte Carte broșată
common.buy 262.71 lei
Briefe an einen jungen Schriftsteller Mario Vargas Llosa / Carte Carte broșată
common.buy 41.07 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 78.18 lei
Muir Ramble Route Peter Thomas / Carte Carte broșată
common.buy 86.21 lei
American Journalism after 'The Age of Mechanical Reproduction' Bjoern Schubert / Carte Carte broșată
common.buy 213.19 lei
literary comparison of Edgar Allan Poes The Black Cat and The Tell-Tale Heart Selina Schuster / Carte Carte broșată
common.buy 89.86 lei
Icarus' Second Chance Jacques Arnould / Carte Carte broșată
common.buy 570.37 lei
Herman ""Baron"" Lamm, the Father of Modern Bank Robbery Walter Mittelstaedt / Carte Carte broșată
common.buy 177.54 lei
Public Assault on America's Children Valerie Polakow / Carte Carte broșată
common.buy 163.88 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.28 lei
Future of the Euro Matthias Matthijs / Carte Copertă tare
common.buy 737.91 lei
Romans John F MacArthur / Carte Carte broșată
common.buy 75.78 lei
City of Roses Emily Isaacson / Carte Copertă tare
common.buy 211.42 lei
Never Say Never, Never Say Always Susan S Warner / Carte Carte broșată
common.buy 67.55 lei
The States of the River Plate: Their Industries and Commerce Wilfrid Latham / Carte Carte broșată
common.buy 148.24 lei
TinkerActive Workbooks: Kindergarten Science Taryn Johnson / Carte Carte broșată
common.buy 66.61 lei
Shirley Charlotte Brontë / Carte Carte broșată
common.buy 105.29 lei
Great War of the Dark Age Dominique Wohlschlag / Carte Carte broșată
common.buy 59.73 lei
Learn Odoo Greg Moss / Carte Carte broșată
common.buy 310.05 lei
Medieval Cruelty Daniel Baraz / Carte Copertă tare
common.buy 478.31 lei
Top
Algebraic Number Theory Frazer Jarvis / Carte Carte broșată
common.buy 213.40 lei
State Counsellor Boris Akunin / Carte Carte broșată
common.buy 73.18 lei
Vorticists Mark Antliffe / Carte Carte broșată
common.buy 266.15 lei
Urdu for Children, Book II, 3 Book Set, Part One Sajida Alvi / Carte Carte broșată
common.buy 175.24 lei
Little Polar Bear Hans DeBeer / Carte Carte broșată
common.buy 37.10 lei
Living with Nietzsche Robert C. Solomon / Carte Carte broșată
common.buy 210.17 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?