Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

mural: A Formal Development Support System

Taal EngelsEngels
Boek Gebonden (paperback)
Boek mural: A Formal Development Support System C.B. Jones
Libristo-code: 02172566
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mei 1991
Formal methods enable computer architecture and software design to be mathematically proved correct... Volledige beschrijving
? points 125 b
51.59 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

OEUVRES COMPLETES DE SOREN KIERKEGAARD, TOME 011 KIERKEGAARD SOREN Boek Gebonden (paperback)
common.buy 48.25 €
Reden gegen das Sozialistengesetz: Kommentierte Ausgabe Hansjorg Walther / Boek Gebonden (paperback)
common.buy 14.63 €
Svedectvá a spomienky Andrej Chudoba / Boek Gebonden (harde band)
common.buy 6.35 €
Prikladanie slnka Ján Marton / Boek Gebonden (harde band)
common.buy 7.97 €
The Male Bride 4 Christina Rinnerthaler / Boek Gebonden (paperback)
common.buy 6.96 €
Huset del 4 Patterson / Luisterboek MP3
common.buy 4.74 €
Benjamin Blümchen Kritzelmalbuch - ab 2 Jahren KIDDINX Studios GmbH / Boek Gebonden (paperback)
common.buy 5.95 €
Die Entwicklung der Erde, ihre Lebenswesen und menschlichen Kulturen Emil Hoffmann / Boek Gebonden (harde band)
common.buy 44.42 €
LA VIDA EN ESPAÑA EN TIEMPO DE LOS GODOS JOSE ORLANDIS ROVIRA / Boek Gebonden (harde band)
common.buy 20.18 €
Höhere Gewalt Renee R Picard / Boek Gebonden (paperback)
common.buy 14.83 €
I ragazzi della via Pál Ferenc Molnár / Boek Gebonden (paperback)
common.buy 11.90 €
kleine Bar und Papabar tauchen zum Riff Cara Lindberg / Boek Gebonden (paperback)
common.buy 7.36 €
Droit d''acces a la Justice Mounia Laiche / Boek Gebonden (paperback)
common.buy 58.65 €
Volksmarchen und Sagen aus der Vorzeit Mahrens Ludwig Bowitsch / Boek Gebonden (paperback)
common.buy 12.61 €
Ekonomika školy a školského zariadenia Ingrid Veverková / Boek Gebonden (paperback)
common.buy 13.22 €
Rudolf Lexa Ludvík Losos / Boek Blad
common.buy 10.69 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam mural: A Formal Development Support System
Auteur C.B. Jones, K.D. Jones, P.A. Lindsay, R.D. Moore
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1991
Aantal pagina's 421
EAN 9783540196518
ISBN 354019651X
Libristo-code 02172566
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 753
Afmetingen 170 x 242 x 16

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Wiskunde en wetenschap > Wiskunde > Calculus en wiskundige analyse > Numerieke analyse
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Little Journeys: To The Homes Of Eminent Painters Elbert Hubbard / Boek Gebonden (paperback)
common.buy 10.29 €
CMOS Cascade Sigma-Delta Modulators for Sensors and Telecom Belen Perez Verdu / Boek Gebonden (paperback)
common.buy 154.07 €
Death Wish/Net of Cobwebs ELISABETH S HOLDING / Boek Gebonden (paperback)
common.buy 15.74 €
San Mateo County Coast, California Michael Smookler / Boek Gebonden (paperback)
common.buy 22.10 €
Return of the Native Rebecca Earle / Boek Gebonden (harde band)
common.buy 177.19 €
Film Preservation: Competing Definitions of Value, Use, and Practice Karen F. Gracy / Boek Gebonden (paperback)
common.buy 67.03 €
Magical Rings in English Literature. From Anglo-Saxon Charms to Tolkien's Lord of the Rings Michael Barkas / Boek Gebonden (paperback)
common.buy 38.26 €
Reno's Heyday: 1931-1991 David Lowndes / Boek Blad
common.buy 8.37 €
Bowl of Light Anne Yarbrough / Boek Gebonden (paperback)
common.buy 10.29 €
Friendship Rose Purushottam Mahajan / Boek Gebonden (paperback)
common.buy 8.37 €
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 / Boek Gebonden (paperback)
common.buy 14.33 €
iWitness February: To challenge ourselves to see the hand of God at work every day in everyday life with everyday people... David Dendy / Boek Gebonden (paperback)
common.buy 8.57 €
Study Guide for Lucie Brock-Broido's After Raphael Cengage Learning Gale / Boek Gebonden (paperback)
common.buy 11.70 €
Shadow Brokers Percival Constantine / Boek Gebonden (paperback)
common.buy 10.29 €
Avascular Necrosis (Osteonecrosis) The Silent Rare Disease Wyketha K Parkman / Boek Gebonden (paperback)
common.buy 15.03 €
35 DIVISION 106 Infantry Brigade Highland Light Infantry 18th Battalion (4th Glasgow) Wo95/2490/2 / Boek Gebonden (paperback)
common.buy 48.56 €
Kristal's Wedding: A Single Mom Overcomes Shattered Dreams Shirley Walston / Boek Gebonden (paperback)
common.buy 12.11 €
TOP
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 3 Rifujin Na Magonote / Boek Gebonden (paperback)
common.buy 13.82 €
Introduction to Endocrinology Ioana Rada Ilie / Boek Gebonden (harde band)
common.buy 80.46 €
1980s Rock Rhythm Guitar Mastery Joseph Alexander / Boek Gebonden (paperback)
common.buy 20.28 €
Greek Historia Monachorum in Aegypto Andrew Cain / Boek Gebonden (harde band)
common.buy 220.41 €
Edge of Irony Marjorie Perloff / Boek Gebonden (harde band)
common.buy 109.34 €
Wordt verwacht
Clinical Psychology in Communities of Color – Integrating Research and Practice Frederick T. L. Leong / Boek Gebonden (paperback)
common.buy 86.22 €
Deaf Republic Ilya Kaminsky / E-book Adobe ePub DRM
common.buy 11.40 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?