Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Formal Program Development

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

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Program Development Bernhard Möller
Код Либристо: 05274365
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ноември 1993
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Deve... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Подготвяме
Lehrbuch u. 1 MP3-CD ASSiMiL GmbH / Книга С твърди корици
common.buy 89.58 € 175.21 лв
Vie Politique Et Religieuse De Thomas Becket (1842) Charles Bataille / Книга С меки корици
common.buy 32.62 € 63.80 лв
50 montages de tricot Pascale THULLIER / Книга С меки корици
common.buy 31.22 € 61.06 лв
Un faux pas dans la nuit Lhoste / Книга С меки корици
common.buy 25.16 € 49.21 лв
Top
Akutní stavy na interním oddělení Jan Piťha / Книга С меки корици
common.buy 15.94 € 31.19 лв
GRAN TRATADO DE LOS ESTADIOS EN EL CAMINO A LA ILUMINACIÓN, EL LAM RIM CHEN MO - VOLÚMEN I TSONGKAPA / Книга С меки корици
common.buy 35.93 € 70.28 лв
Die vertragszahnaerztliche Wirtschaftlichkeits- und Abrechnungspruefung Ralf Großbölting / Книга С меки корици
common.buy 85.91 € 168.02 лв
Leo Graf von Caprivi. Bismarcks Kampf gegen Caprivi Julius von Eckardt / Книга С твърди корици
common.buy 64.31 € 125.78 лв
Dinamiche Negoziali nella Cooperazione tra Imprese Andrea Caputo / Книга С меки корици
common.buy 50.07 € 97.93 лв
Briefe an einen jungen Schriftsteller Mario Vargas Llosa / Книга С меки корици
common.buy 7.81 € 15.28 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Formal Program Development
Автор Bernhard Möller, Helmut Partsch, Steve Schuman
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1993
Брой страници 375
Баркод 9783540574996
ISBN 3540574999
Код Либристо 05274365
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1210
Размери 155 x 233 x 21

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Success: The Best of Napoleon Hill Napoleon Hill / Книга С меки корици
common.buy 14.86 € 29.06 лв
Muir Ramble Route Peter Thomas / Книга С меки корици
common.buy 15.48 € 30.27 лв
American Journalism after 'The Age of Mechanical Reproduction' Bjoern Schubert / Книга С меки корици
common.buy 40.65 € 79.50 лв
literary comparison of Edgar Allan Poes The Black Cat and The Tell-Tale Heart Selina Schuster / Книга С меки корици
common.buy 17.14 € 33.51 лв
Icarus' Second Chance Jacques Arnould / Книга С меки корици
common.buy 108.69 € 212.58 лв
Herman ""Baron"" Lamm, the Father of Modern Bank Robbery Walter Mittelstaedt / Книга С меки корици
common.buy 35.52 € 69.47 лв
Public Assault on America's Children Valerie Polakow / Книга С меки корици
common.buy 31.22 € 61.06 лв
IV. and V. Will. IV. C. 35.] the Act of Parliament [13 August, 1834] for Establishing the City of London School Anonymous / Книга С меки корици
common.buy 18.22 € 35.64 лв
Future of the Euro Matthias Matthijs / Книга С твърди корици
common.buy 147.07 € 287.64 лв
Romans John F MacArthur / Книга С меки корици
common.buy 13.61 € 26.63 лв
City of Roses Emily Isaacson / Книга С твърди корици
common.buy 38.42 € 75.14 лв
Never Say Never, Never Say Always Susan S Warner / Книга С меки корици
common.buy 12.11 € 23.69 лв
The States of the River Plate: Their Industries and Commerce Wilfrid Latham / Книга С меки корици
common.buy 26.92 € 52.66 лв
TinkerActive Workbooks: Kindergarten Science Taryn Johnson / Книга С меки корици
common.buy 12.68 € 24.80 лв
Shirley Charlotte Brontë / Книга С меки корици
common.buy 19.10 € 37.36 лв
Great War of the Dark Age Dominique Wohlschlag / Книга С меки корици
common.buy 10.77 € 21.06 лв
Learn Odoo Greg Moss / Книга С меки корици
common.buy 56.34 € 110.19 лв
Medieval Cruelty Daniel Baraz / Книга С твърди корици
common.buy 87.62 € 171.36 лв
Top
Algebraic Number Theory Frazer Jarvis / Книга С меки корици
common.buy 40.70 € 79.60 лв
State Counsellor Boris Akunin / Книга С меки корици
common.buy 13.93 € 27.24 лв
Vorticists Mark Antliffe / Книга С меки корици
common.buy 52.92 € 103.50 лв
Urdu for Children, Book II, 3 Book Set, Part One Sajida Alvi / Книга С меки корици
common.buy 33.40 € 65.32 лв
Little Polar Bear Hans DeBeer / Книга С меки корици
common.buy 7.09 € 13.87 лв
Living with Nietzsche Robert C. Solomon / Книга С меки корици
common.buy 41.89 € 81.93 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?