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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

6th Refinement Workshop

Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994

Taal EngelsEngels
Boek Gebonden (paperback)
Boek 6th Refinement Workshop David Till
Libristo-code: 02172593
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 1994
This volume contains the papers presented at the 6th Refinement Workshop which was held in London fr... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Alpenrosen und Gentianen Joseph Bajovar / Boek Gebonden (harde band)
common.buy 33.88 €
Detektivové a zloději kabelek Zuzana Pospíšilová / Boek Gebonden (harde band)
common.buy 8.49 €
Olejové pastely Pentel Artist 16 ks / Boek binding.
common.buy 3.13 €
TOP
Mozak bez granica Jim Kwik / Boek Gebonden (paperback)
common.buy 13.95 €
Telemarketing experto: Como conseguir reuniones para ventas rapidamente Bernard Levine / E-book Adobe ePub DRM
common.buy 2.82 €
Gra Dobble Super Mario / Boek binding.
common.buy 17.69 €
The Studio Albums 1970-1977 (Super Deluxe) T.Rex Audio Audio cd
common.buy 70.40 €
AULA C1. ED. ANOTADA PARA DOCENTES MARTINEZ LARA / Boek Gebonden (paperback)
common.buy 40.66 €
Ďáblův sluha Vlastimil Vondruška / Boek Gebonden (harde band)
common.buy 12.43 €
ESPERANÇA ACTIVA JOANNA MACY / Boek Gebonden (paperback)
common.buy 29.43 €
DANIEL PINKHAM: ANGELUS AD PASTORES AIT (CHORAL-FEMALE ACCOMPANIED) PINKHAM Boek binding.
common.buy 28.21 €
History Of Monuments Qingsong / Boek binding.
common.buy 100.34 €
Enzo Ferrari VAN DEN ABEELE / Boek Gebonden (paperback)
common.buy 33.17 €
Vjačeslav Ivanov Und Seine Deutschsprachigen Verleger: Eine Chronik in Briefen Michael Wachtel / Boek Gebonden (paperback)
common.buy 89.21 €
Péťa a tma collegium / Boek Leporello (harmonicaboek)
common.buy 7.27 €
Symbolické jednání v kultuře raného novověku collegium / Boek Gebonden (harde band)
common.buy 13.24 €
TERRA Erdkunde 5/6. Differenzierende Ausgabe Niedersachsen, Bremen, Schleswig-Holstein / Boek Gebonden (harde band)
common.buy 32.97 €
Dotyk jako lék z pohledu čínské medicíny Renata Lien Čepelková / Boek Gebonden (paperback)
common.buy 8.89 €
10 Auswahlkriterien fur Web-Frameworks David Badstübner / Boek Gebonden (paperback)
common.buy 49.96 €
Handwritten Shawn Mendes / Audio Audio cd
common.buy 14.46 €
Greatest Hits Shania Twain / Audio Audio cd
common.buy 14.46 €
Branche Transport & Logistik Gbi Genios / Boek Gebonden (paperback)
common.buy 44.60 €

This volume contains the papers presented at the 6th Refinement Workshop which was held in London from 5 - 7 January 1994. The theme of the workshop was "the theory and practice of formal software development", and papers with industrial relevance were particularly encouraged. The papers address both the formal mathematical infrastructure of methods, and the practical application of formal development methods in commerce and industry. Among the specific topics covered are the formal development of authentication protocols, operation semantics with read and write frames, and the testing and safety analysis of abstract machine specifications. This volume will be of interest to academic and industrial researchers, postgraduate students, and research-oriented developers in the computer industry. The proceedings of the previous three Refinement Workshops are also available in the series.

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 6th Refinement Workshop
Auteur David Till
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1994
Aantal pagina's 309
EAN 9783540198864
ISBN 3540198865
Libristo-code 02172593
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 505
Afmetingen 155 x 235 x 26

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
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

21 IOT EXPERIMENTS Yashavant Kanetkar / Boek Gebonden (paperback)
common.buy 28.52 €
Arab TV-Audiences Ehab Galal / Boek Gebonden (harde band)
common.buy 47.84 €
Environmental Integration in Competition and Free-Movement Laws Julian Nowag / Boek Gebonden (harde band)
common.buy 164.17 €
Birds of Berwickshire; With Remarks on Their Local Distribution Migration, and Habits, and Also on the Folk-Lore, Proverbs, Popular Rhymes and Sayings George Muirhead / Boek Gebonden (harde band)
common.buy 38.23 €
Pete the Cat: Too Cool for School Kimberly Dean / Boek Gebonden (paperback)
common.buy 5.45 €
A Life-Giving Way: A Commentary on the Rule of St. Benedict Esther de Waal / Boek Gebonden (paperback)
common.buy 27.10 €
Sweet Life Brandie E Gowey / Boek Gebonden (harde band)
common.buy 25.08 €
Marriage and Heredity J. F. NISBET / Boek Gebonden (paperback)
common.buy 23.26 €
Secret Life of Pets: Pet Tails Stephane Lapuss / Boek Gebonden (harde band)
common.buy 10.81 €
Inventory, Evaluation and Projection of Manufacturing in Topeka, Kansas Lloyd A. Stjernberg / Boek Gebonden (paperback)
common.buy 19.31 €
Chip War: The Fight for the World's Most Critical Technology MILLER CHRIS / Boek Gebonden (harde band)
common.buy 24.57 €
The Traitor Queen Danielle L. Jensen / Boek Gebonden (paperback)
common.buy 10.41 €
Absolutely Everything! Revised and Updated: A History of Earth, Dinosaurs, Rulers, Robots, and Other Things Too Numerous to Mention Andy Forshaw / Boek Gebonden (harde band)
common.buy 19.41 €
Children's First Encyclopedia Mat Edwards / Boek Gebonden (harde band)
common.buy 19.41 €
1000 Cryptogram Puzzle Book CS Puzzle Books / Boek Gebonden (paperback)
common.buy 15.57 €
Dream Theater: Lost Not Forgotten Archives: Live In Tokyo, 2010 Dream Theater / Audio Audio cd
common.buy 21.03 €
21st Century Dead Christopher Golden / Boek Gebonden (paperback)
common.buy 10.61 €
Gums and Stabilisers for the Food Industry 14 Glyn O Phillips / Boek Gebonden (harde band)
common.buy 168.11 €
Planets to Cosmology Mario Livio / Boek Gebonden (harde band)
common.buy 176.10 €
100 Masters of Bishojo Painting / Boek Gebonden (paperback)
common.buy 26.19 €
Land Use Planning - Scholar's Choice Edition U. S. Air Force / Boek Gebonden (paperback)
common.buy 19.21 €
Voordelig
Dynamics and Bifurcations Jack K. Hale / Boek Gebonden (harde band)
common.buy 62.61 €
Africa Immanuel Wallerstein / Boek Gebonden (paperback)
common.buy 32.66 €
12th International Conference on Jet Cutting Technology N.G. Allen / Boek Gebonden (harde band)
common.buy 343.72 €

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?