Проверка на състоянието на поръчката
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€

mural: A Formal Development Support System

Език Английски езикАнглийски език
Книга С меки корици
Книга mural: A Formal Development Support System C.B. Jones
Код Либристо: 02172566
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, май 1991
Formal methods enable computer architecture and software design to be mathematically proved correct... Цялото описание
? points 132 b
54.34 €
106.28  лв
Външен склад Изпращаме след 5-8 дни

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

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

OEUVRES COMPLETES DE SOREN KIERKEGAARD, TOME 011 KIERKEGAARD SOREN Книга С меки корици
common.buy 50.36 € 98.50 лв
Reden gegen das Sozialistengesetz: Kommentierte Ausgabe Hansjorg Walther / Книга С меки корици
common.buy 14.61 € 28.58 лв
Svedectvá a spomienky Andrej Chudoba / Книга С твърди корици
common.buy 6.87 € 13.43 лв
Prikladanie slnka Ján Marton / Книга С твърди корици
common.buy 8.52 € 16.66 лв
The Male Bride 4 Christina Rinnerthaler / Книга С меки корици
common.buy 8.93 € 17.47 лв
Huset del 4 Patterson / Аудиокнига MP3
common.buy 5.01 € 9.79 лв
Benjamin Blümchen Kritzelmalbuch - ab 2 Jahren KIDDINX Studios GmbH / Книга С меки корици
common.buy 5.94 € 11.61 лв
Die Entwicklung der Erde, ihre Lebenswesen und menschlichen Kulturen Emil Hoffmann / Книга С твърди корици
common.buy 47.05 € 92.03 лв
LA VIDA EN ESPAÑA EN TIEMPO DE LOS GODOS JOSE ORLANDIS ROVIRA / Книга С твърди корици
common.buy 21.17 € 41.41 лв
Höhere Gewalt Renee R Picard / Книга С меки корици
common.buy 14.82 € 28.99 лв
I ragazzi della via Pál Ferenc Molnár / Книга С меки корици
common.buy 12.60 € 24.64 лв
kleine Bar und Papabar tauchen zum Riff Cara Lindberg / Книга С меки корици
common.buy 7.80 € 15.25 лв
Droit d''acces a la Justice Mounia Laiche / Книга С меки корици
common.buy 62.09 € 121.43 лв
Volksmarchen und Sagen aus der Vorzeit Mahrens Ludwig Bowitsch / Книга С меки корици
common.buy 13.32 € 26.06 лв
Ekonomika školy a školského zariadenia Ingrid Veverková / Книга С меки корици
common.buy 13.99 € 27.37 лв
Rudolf Lexa Ludvík Losos / Книга Лист
common.buy 11.36 € 22.22 лв

Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural project (a joint Alvey-funded project between M anchester U niversity and R utherford A ppleton L aboratories) has developed a software support system to help the user of formal methods. mural has created a user-friendly software environment (with extensive use of windows) that makes best use of human talents to produce computer systems that are proved to be correctly designed. Professor Cliff Jones is internationally known as the developer of the VDM system of formal notation (Vienna Development Method). This book describes the requirements, concepts, and realisation of the mural system. The authors present systematically and completely the results of this substantial research project, from the basic theoretical level to its effective implementation. The book will be of equal interest to academics working on formal methods at research level (and perhaps to graduate research students), and to practitioners and software engineers who are using - or who will have to use for defence contracts, etc. - formal methods.

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

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

Пълно заглавие mural: A Formal Development Support System
Автор C.B. Jones, K.D. Jones, P.A. Lindsay, R.D. Moore
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1991
Брой страници 421
Баркод 9783540196518
ISBN 354019651X
Код Либристо 02172566
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 753
Размери 170 x 242 x 16

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Calculus & mathematical analysis > Numerical analysis
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Little Journeys: To The Homes Of Eminent Painters Elbert Hubbard / Книга С меки корици
common.buy 10.33 € 20.20 лв
CMOS Cascade Sigma-Delta Modulators for Sensors and Telecom Belen Perez Verdu / Книга С меки корици
common.buy 162.51 € 317.84 лв
Death Wish/Net of Cobwebs ELISABETH S HOLDING / Книга С меки корици
common.buy 15.75 € 30.80 лв
San Mateo County Coast, California Michael Smookler / Книга С меки корици
common.buy 22.10 € 43.23 лв
Return of the Native Rebecca Earle / Книга С твърди корици
common.buy 186.58 € 364.92 лв
Film Preservation: Competing Definitions of Value, Use, and Practice Karen F. Gracy / Книга С меки корици
common.buy 67.10 € 131.23 лв
Magical Rings in English Literature. From Anglo-Saxon Charms to Tolkien's Lord of the Rings Michael Barkas / Книга С меки корици
common.buy 40.55 € 79.30 лв
Reno's Heyday: 1931-1991 David Lowndes / Книга Лист
common.buy 8.31 € 16.26 лв
Bowl of Light Anne Yarbrough / Книга С меки корици
common.buy 10.27 € 20.10 лв
Friendship Rose Purushottam Mahajan / Книга С меки корици
common.buy 8.41 € 16.46 лв
Ketogenic Diet, My Spiralized Cookbook, Sugar Detox And Clean Eating Box Set: Over 100 Delicious And Healthy Recipes For Weight Loss And Fat Burning Eric Deen / Книга С меки корици
common.buy 14.36 € 28.08 лв
iWitness February: To challenge ourselves to see the hand of God at work every day in everyday life with everyday people... David Dendy / Книга С меки корици
common.buy 8.52 € 16.66 лв
Study Guide for Lucie Brock-Broido's After Raphael Cengage Learning Gale / Книга С меки корици
common.buy 11.77 € 23.03 лв
Shadow Brokers Percival Constantine / Книга С меки корици
common.buy 10.33 € 20.20 лв
Avascular Necrosis (Osteonecrosis) The Silent Rare Disease Wyketha K Parkman / Книга С меки корици
common.buy 15.03 € 29.39 лв
35 DIVISION 106 Infantry Brigade Highland Light Infantry 18th Battalion (4th Glasgow) Wo95/2490/2 / Книга С меки корици
common.buy 48.60 € 95.06 лв
Kristal's Wedding: A Single Mom Overcomes Shattered Dreams Shirley Walston / Книга С меки корици
common.buy 12.13 € 23.73 лв
Top Подготвяме
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 3 Rifujin Na Magonote / Книга С меки корици
common.buy 12.75 € 24.95 лв
Introduction to Endocrinology Ioana Rada Ilie / Книга С твърди корици
common.buy 84.97 € 166.19 лв
1980s Rock Rhythm Guitar Mastery Joseph Alexander / Книга С меки корици
common.buy 20.24 € 39.59 лв
Greek Historia Monachorum in Aegypto Andrew Cain / Книга С твърди корици
common.buy 220.57 € 431.40 лв
Edge of Irony Marjorie Perloff / Книга С твърди корици
common.buy 109.41 € 213.98 лв
Подготвяме
Clinical Psychology in Communities of Color – Integrating Research and Practice Frederick T. L. Leong / Книга С меки корици
common.buy 90.71 € 177.40 лв
Deaf Republic Ilya Kaminsky / E-книга Adobe ePub DRM
common.buy 11.98 € 23.43 лв

Вход

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

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

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

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

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