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.

Recent Trends in Algebraic Development Techniques

19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Recent Trends in Algebraic Development Techniques Andrea Corradini
Libristo-code: 01650238
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 19th International... Volledige beschrijving
? points 125 b
51.62 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Introducción rápida a Matlab y Simulink para ciencia e ingeniería Manuel Gil Rodríguez / Boek Gebonden (paperback)
common.buy 23.03 €
Traite de l'Origine Des Glaires Avec La Methode A Suivre Pour Les Guerir Soi-Meme. 8e Edition GUILLIE-S / Boek Gebonden (paperback)
common.buy 14.54 €
Ben de Artik Fark Edilmek Istiyorum Birsen Basar / Boek Gebonden (paperback)
common.buy 16.16 €
THE BEST OF MAURO GIULIANI MAURO GIULIANI Boek binding.
common.buy 36.36 €
Plomby bezpečnostní 200ks/bal. (0,150kg) / Boek binding.
common.buy 5.34 €

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. §The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop.§The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.

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 Recent Trends in Algebraic Development Techniques
Auteur Andrea Corradini, Ugo Montanari
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2009
Aantal pagina's 343
EAN 9783642034282
ISBN 3642034284
Libristo-code 01650238
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 539
Afmetingen 155 x 19 x 20

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
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

TOP
Rider Waite Tarot Deck: Pocket Size Pamela Colman Smith / Drukwerk Speelkaarten
common.buy 15.35 €
Mandarin Chinese Phrase Book for Beginners Raghupathi Kumar / Boek Gebonden (paperback)
common.buy 10.30 €
Woman After God's Own Heart(R) Growth and Study Guide Elizabeth George / E-book Adobe ePub DRM
common.buy 6.46 €
Pharmacokinetic Studies of Acepromazine in the Cat and the Horse Studies in Lipophilicity Red Blood Cell Partitioning and Protein Binding PATRICK MARROUM / Boek Gebonden (paperback)
common.buy 63.74 €
Dangerous Alliance: An Austentacious Romance COHEN JENNIEKE / Boek Gebonden (harde band)
common.buy 15.65 €
Paleo: Paleo Diet For Beginners: 50 Delicious Recipes And The Complete Guide To Going Paleo Martin Rowland / Boek Gebonden (paperback)
common.buy 10.30 €
Garden and Forest; A Journal of Horticulture, Landscape Art and Forestry Anonymous / Boek Gebonden (harde band)
common.buy 39.19 €
Death on the Cherwell: A British Library Crime Classic Mavis Hay / Boek Gebonden (paperback)
common.buy 17.57 €
William Addison Dwiggins: Stencilled Ornament and Illustration Marimekko / Boek Gebonden (harde band)
common.buy 32.52 €
My Mom's Letters from Heaven Gerry Klassen / Boek Gebonden (paperback)
common.buy 21.71 €
Collection of Original Songs and Glees. W Lawrence / Boek Gebonden (paperback)
common.buy 12.62 €
Harem Histories M Booth / Boek Gebonden (harde band)
common.buy 178.51 €

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?