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.

Integrated Formal Methods

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Integrated Formal Methods Elvira Albert
Libristo-code: 05147795
Uitgeverij Springer International Publishing AG, augustus 2014
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Fo... Volledige beschrijving
? points 125 b
51.78 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Surrender to the Fantasy Magik Markers / Audio Audio cd
common.buy 22.08 €
Гендер, культура и фукусимская катастрофа / Boek Gebonden (harde band)
common.buy 24.92 €
Die italienische Plastik Wilhelm Bode / Boek Gebonden (harde band)
common.buy 119.38 €
Perfektionismus im Schulkontext / Boek Gebonden (paperback)
common.buy 16.21 €
Recueil De Contes Populaires Grecs Anonymous / Boek Gebonden (harde band)
common.buy 34.55 €
THE CURE MARCOS GENDRE / Boek Boek
common.buy 25.33 €
Borussia Mönchen Gladbach Holger Jenrich / Boek Gebonden (paperback)
common.buy 15.29 €
Studio dell'altezza facciale inferiore Mustapha Amad Neto / Boek Gebonden (paperback)
common.buy 21.48 €
Boy's Abyss 11 Nana Umino / Boek Gebonden (paperback)
common.buy 7.39 €
Storm Child Fountain / Boek Gebonden (paperback)
common.buy 10.43 €
Zestaw Dress Me Up Top Model Sport 13808A / Boek Gebonden (paperback)
common.buy 6.68 €
Mia Moglie mi Tradisce Lara Steele / Boek Gebonden (harde band)
common.buy 22.49 €
A2 Key for schools Trainer 2 / Boek Gebonden (paperback)
common.buy 46.51 €
Jetzt sag ich's Waltraut Haas / E-book Adobe ePub DRM
common.buy 19.85 €
Innovatives Regelungs- und Überwachungssystem zur Schadstoffminderung und Effizienzerhöhung in häuslichen Biomasseheizkesseln. Niro Akbary / Boek Gebonden (paperback)
common.buy 56.24 €
Dopamin Rowena Kong / Boek Gebonden (paperback)
common.buy 35.76 €
POR TIERRAS DE SALAMANCA GRANDE DEL BRIO / Boek Gebonden (harde band)
common.buy 26.95 €
Tajemství stříbrné klisny Julie Wald / Boek Gebonden (harde band)
common.buy 9.21 €
Ya soy mayor y puedo ayudar a los demás LOLL KIRBY / Boek Gebonden (paperback)
common.buy 16.41 €
Promouvoir une agriculture paysanne, écologique et solidaire en Europe BEDE / Boek Gebonden (paperback)
common.buy 13.57 €
Le Triomphe de la méthode Fauchere / Boek Gebonden (harde band)
common.buy 11.34 €
Ange Pitou - Tome II: (Les Mémoires d'un médecin) Dumas Alexandre / Boek Gebonden (paperback)
common.buy 15.60 €
Historia de la Vida del Buscon Llamado Don Pablos: Ejemplo de Vagamundos Y Espejo de Taca Francisco de Quevedo / Boek Gebonden (paperback)
common.buy 13.06 €
Ein anarchistischer Bankier, 1 Audio-CD, 1 MP3 Fernando Pessoa / Audio Audio cd
common.buy 16.71 €

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

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 Integrated Formal Methods
Auteur Elvira Albert, Emil Sekerinski
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2014
Aantal pagina's 390
EAN 9783319101804
ISBN 3319101803
Libristo-code 05147795
Uitgeverij Springer International Publishing AG
Gewicht 6088
Afmetingen 155 x 235 x 22

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
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

Solidarity in Health and Social Care in Europe W. Arts / Boek Gebonden (paperback)
common.buy 206.13 €
Sins of a Wicked Princess Anna Randol / Boek Gebonden (paperback)
common.buy 9.21 €
VOCABULARY SUCCESS B2 FCE SELF STUDY / Boek Boek
common.buy 21.07 €
Facilitator's & Trainer's Toolkit Artie Mahal / Boek Gebonden (paperback)
common.buy 23.10 €
Practical Spirituality and Human Development Ananta Kumar Giri / Boek Gebonden (harde band)
common.buy 106.50 €
Brownies in the Attic S a Parks / Boek Gebonden (paperback)
common.buy 8.81 €
Black Ice Lorene Cary / Boek Gebonden (paperback)
common.buy 14.28 €
Analytical QbD Approach for Enhanced Robustness of HPLC Methods Sarwar Beg / Boek Gebonden (paperback)
common.buy 32.12 €
Paddling Idaho Greg Stahl / Boek Gebonden (paperback)
common.buy 25.43 €
The Secrets of the Notebook: A Woman's Quest to Uncover Her Royal Family Secret Eve Haas / Boek Gebonden (paperback)
common.buy 16.71 €
TOP
The Incomplete (Updated Edition) Robert Klanten / Boek Gebonden (harde band)
common.buy 44.68 €
Church history: Historia Ecclesiastica or Historia Ecclesiae Eusebius of Caesarea / Boek Gebonden (paperback)
common.buy 25.83 €
2 Life's Stories J L Albesa / Boek Gebonden (paperback)
common.buy 6.17 €
The Complete Idiot's Guide to Dirty Jokes David Pietras / Boek Gebonden (paperback)
common.buy 17.83 €
Letters and Papers Illustrative of the Reigns of Richard III and Henry VII James Gairdner / Boek Gebonden (paperback)
common.buy 32.12 €
Lonely Mystic Michael Ford / Boek Gebonden (paperback)
common.buy 15.80 €
Find Wonder in the Ordinary: A Kid's Book for Adults Bernie Freytag / Boek Gebonden (paperback)
common.buy 19.35 €
Soccer Scenario Cards Darren Laver / Boek Gebonden (paperback)
common.buy 14.89 €
Lower Secondary Maths Progress Teacher's Guide: Stage 8 Alastair Duncombe / Boek Gebonden (paperback)
common.buy 68.50 €
Cursive Alphabet Mike Stewart / Boek Gebonden (paperback)
common.buy 9.52 €
Perfect Real Estate Agent Blueprint Robby Trefethren / Boek Gebonden (paperback)
common.buy 17.22 €
No More Anxiety! Gladeana McMahon / E-book Adobe ePub DRM
common.buy 35.56 €
TOP
Empire of Cotton Sven Beckert / Boek Gebonden (paperback)
common.buy 14.48 €
Multimedia Modernism Julian Murphet / Boek Gebonden (harde band)
common.buy 133.56 €

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?