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.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Tools and Algorithms for the Construction and Analysis of Systems

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Tools and Algorithms for the Construction and Analysis of Systems Axel Legay
Libristo-code: 15981191
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maart 2017
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference... Volledige beschrijving
? points 125 b
51.01 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Elementi medievali nei dintorni di Poggio Moiano (Rieti) Andrea Del Vescovo / Boek Gebonden (paperback)
common.buy 16.50 €
Wordt verwacht
MIXtipp: Lieblingsrezepte der Thermimaus Anja Krandick / Boek Gebonden (paperback)
common.buy 8.49 €
O que é uma pessoa literária? Bernard Djoumessi Tongmo / Boek Gebonden (paperback)
common.buy 70.32 €
Bescherelle français CP - 6 ans Véronique Virzi-Roustan / Boek Gebonden (paperback)
common.buy 8.09 €
Oráculo para personas altamente sensibles Grete Stars / Boek Gebonden (paperback)
common.buy 9.09 €
(23).VACACIONES.RUMBO A...6º PRIMARIA MATEMATICAS / Boek Boek
common.buy 17.50 €
Cristóv?o Colombo Alva Silva / Boek Gebonden (paperback)
common.buy 13.40 €
Comprendre et interpréter les dessins d'enfants - 3e éd. Georges Cognet / Boek Gebonden (paperback)
common.buy 40.71 €
Un mito moderno JUNGM CARL GUSTAV / Boek Gebonden (paperback)
common.buy 16.70 €
Así es como la pierdes Junot Díaz / Boek Gebonden (paperback)
common.buy 23.00 €
Diagnóstico por imagen en el abdomen agudo de origen inflamatorio-infeccioso Sánchez Jiménez / Boek Gebonden (paperback)
common.buy 23.50 €
EL SINDROME DE APNEA OBSTRUCTIVA DEL SUEÑO (SAHS) Y SU RELACION CON PATOLOGIA OFTALMOLOGICA COMO GLA CABALLERO SANCHEZ / Boek Gebonden (paperback)
common.buy 21.20 €
La poudre à boutons et autres secrets mirobolants Dahl / Boek Gebonden (paperback)
common.buy 8.89 €
Handbuch der allgemeinen Litterargeschichte nach Heumanns Grundriss Karl Joseph Bouginé / Boek Gebonden (paperback)
common.buy 27.40 €
Durch den Kaukasus zur Wolga Fridtjof Nansen / Boek Gebonden (paperback)
common.buy 16.00 €
Das Jahr, das zwei Sekunden brauchte Rachel Joyce / Boek Gebonden (harde band)
common.buy 10.79 €
Le Bonheur Agn?s Varda / Video Dvd
common.buy 9.79 €
MARCO. DE LOS APENINOS A LOS ANDES, 3 MARTA CURESES / Boek Gebonden (paperback)
common.buy 12.80 €
Guia para Implantar un Sistema de Gestion de Seguridad de Informacion Garcia Gomez Fernando / Boek Gebonden (paperback)
common.buy 157.85 €

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.

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 Tools and Algorithms for the Construction and Analysis of Systems
Auteur Axel Legay, Tiziana Margaria
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2017
Aantal pagina's 609
EAN 9783662545768
ISBN 3662545764
Libristo-code 15981191
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 9475
Afmetingen 155 x 235 x 35

Categorieën

Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
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

Hide and Seek, Little Chameleon Anita Bijsterbosch / Boek Leporello (harmonicaboek)
common.buy 12.40 €
Goodbye to THES: collages and metafictions Geoffrey Mark Matthews / Boek Gebonden (paperback)
common.buy 41.31 €
Avoiding The Armageddon Factor: Justice in an Age of Conservation MR Nicholas Charles Cousins / Boek Gebonden (paperback)
common.buy 11.09 €
Fanshawe Nathaniel Hawthorne / Boek Gebonden (paperback)
common.buy 9.29 €
Correct posture and physical exercises for dental professionals Rezarta Stena / Boek Gebonden (paperback)
common.buy 31.70 €
Hazard (Ultimate Football Heroes - the No. 1 football series) Matt Oldfield / Boek Gebonden (paperback)
common.buy 7.59 €
Navy DDG-51 and DDG-1000 Destroyer Programs: Background and Issues for Congress O'Rourke / Boek Gebonden (paperback)
common.buy 15.60 €
Malinowski & Kaplan's Human Geography+ 1st AP* Edition Student Workbook David Tamm / Boek Gebonden (paperback)
common.buy 36.90 €
Therapeutics of Tuberculosis, or Pulmonary Consumption WM. H. BURT / Boek Gebonden (paperback)
common.buy 22.40 €
Der Wind und der Löwe John Milius / Video Blu-ray
common.buy 17.70 €
Between the Revolution and the West Hugh D. Phillips / Boek Gebonden (paperback)
common.buy 65.12 €
The Life And Adventures Of Jules Gerard, Containing A History And Description Of Algeria Jules Gerard / Boek Gebonden (paperback)
common.buy 31.30 €
Hope's Healing Love Jenna Hendricks / Boek Gebonden (paperback)
common.buy 15.60 €
Algorithms for Computational Biology Ian Holmes / E-book Adobe ePub DRM
common.buy 66.42 €
10 Mindsets to Embrace for Teenage Success, Happiness, and a Determined Path in Life Charles E. Tyler / Boek Gebonden (paperback)
common.buy 13.60 €
No Bad Days Mestdagh / Boek Gebonden (harde band)
common.buy 15.60 €
TOP
The Complete 2000 AD by Alan Moore: Future Shocks & Other Stories MOORE ALAN / Boek Gebonden (harde band)
common.buy 40.31 €
Secret Mandate of Rahab Ezreaonne Jackson / Boek Gebonden (paperback)
common.buy 10.89 €
Introducing Sociological Theory Darren O´Byrne / Boek Gebonden (paperback)
common.buy 61.01 €
Redefining Female Religious Life Laurence Lux-Sterritt / Boek Gebonden (harde band)
common.buy 241.69 €
Violence Continuum Elizabeth C. Manvell / Boek Gebonden (paperback)
common.buy 61.12 €
Copyright for Teachers and Librarians in the 21st Century Rebecca P. Butler / Boek Gebonden (paperback)
common.buy 79.82 €
From the Potter's Hands Kathryn L Hayes / Boek Gebonden (paperback)
common.buy 8.29 €
Ghetto to Coffee Shop Arthur Bellfield / Boek Gebonden (paperback)
common.buy 12.19 €

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?