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

9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Tools and Algorithms for the Construction and Analysis of Systems Hubert Garavel
Libristo-code: 01556297
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maart 2003
This book constitutes the refereed proceedings of the 9th International Conference on Tools and Algo... Volledige beschrijving
? points 249 b
101.83 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Sensorunterst tztes Programmierverfahren F r Das Entgraten Mit Industrierobotern Dieter Boley / Boek Gebonden (paperback)
common.buy 52.51 €
Matematyka. Nowa matura 2023 i 2024 Jarosław Jabłonka / Boek Gebonden (paperback)
common.buy 5.59 €
PEER GYNT OP. 46 CLARINETTE-PARTITION+PARTIES SEPAREES SAMUEL BERTHOD Boek binding.
common.buy 49.71 €
Profil des deutschen Spitzenmanagers Michael Rossipal / Boek Gebonden (paperback)
common.buy 30.90 €
Wirtschaftsfaktor Brustkrebs Franz Fischl / Boek Gebonden (paperback)
common.buy 19.20 €
Puzles. Capsa De Puzles De Contes Tradicionals. Ruiz Espino / Boek Gebonden (paperback)
common.buy 46.81 €
Marvel Must-Have: Ghost Rider - Die Straße zur Verdammnis Clayton Crain / Boek Gebonden (harde band)
common.buy 16.30 €
Kipurcant kedvencek - Rex Dexter nyomoz Aaron Reynolds / Boek Gebonden (harde band)
common.buy 7.99 €
Poznaj Blazor Pine David / Boek Gebonden (paperback)
common.buy 16.00 €
JAPON DE L AME : CHRONIQUES DE KYOTO VILLAIN JEAN-CLAUDE Boek Gebonden (paperback)
common.buy 20.20 €
Wordt verwacht
Harry Potter Jewellery & Accessories Advent Calendar Time Turner Schrijfwaren Schrijfwaren
common.buy 130.34 €
Les morsures de la nuit HARVEY-A / Boek Gebonden (paperback)
common.buy 9.99 €
Upadłe anioły Masterton Graham / Boek Gebonden (paperback)
common.buy 10.99 €
Schutz des Trinkwassers Franz-Josef Heinrichs / Boek Gebonden (paperback)
common.buy 63.42 €
Foerderung von Schulerinnen und Schulern mit Migrationshintergrund in NRW Britta Wertenbruch / Boek Gebonden (paperback)
common.buy 42.31 €
Reglement Interieur de la Prefecture de l'Orne SANS AUTEUR / Boek Gebonden (paperback)
common.buy 13.50 €
Duo Palatino: All Time Favourites Audio Audio cd
common.buy 16.30 €
Hyperion Friedrich Hölderlin / Boek Gebonden (harde band)
common.buy 5.79 €
Sur Ma Peau Gillian Flynn / Boek Gebonden (paperback)
common.buy 12.00 €
Ernesto Cordero: Renunciar And Entre Guitarra y Voz: Two Sentimental Songs For Guitar & Voice Ernesto Cordero / Boek Gebonden (paperback)
common.buy 10.49 €
Krebsfr herkennung W. Queißer / Boek Gebonden (paperback)
common.buy 42.01 €

This book constitutes the refereed proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, held in Warsaw, Poland, in April 2003.§The 43 revised full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on bounded model checking and SAT-based methods, mu-calculus and temporal logics, verification of parameterized systems, abstractions and counterexamples, real-time and scheduling, security and cryptography, modules and compositional verification, symbolic state spaces and decision diagrams, performance and mobility, state space reductions, constraint solving and decision procedures, and testing and verification.

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 Hubert Garavel, John Hatcliff
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2003
Aantal pagina's 604
EAN 9783540008989
ISBN 3540008985
Libristo-code 01556297
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1910
Afmetingen 155 x 233 x 34

Categorieën

Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
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

Information Security and Assurance Samir Kumar Bandyopadhyay / Boek Gebonden (paperback)
common.buy 56.41 €
Improbable: Issues with the God Hypothesis J D Brucker / Boek Gebonden (paperback)
common.buy 10.19 €
Essentials of Quranic Arabic: Volume 1 Masood Ranginwala / Boek Gebonden (paperback)
common.buy 20.40 €
TOP
Heal Your Headache David Buchholz / Boek Gebonden (paperback)
common.buy 15.60 €
If Only I Had Known . . . William R. Russell / Boek Gebonden (paperback)
common.buy 26.20 €
Remembering Franklin County: Stories from the Sandy River Valley Luann Yetter / Boek Gebonden (paperback)
common.buy 18.30 €
El Libro de David / The Book of David David Manss / Boek Gebonden (paperback)
common.buy 60.01 €
Case Studies in Courageous Organizational Communication Alexander Lyon / Boek Gebonden (paperback)
common.buy 58.11 €
God and the EU Jonathan Chaplin / Boek Gebonden (paperback)
common.buy 61.01 €
The Code of Ordinances of the City Council of Eufaula with the Charter. C S McDowell / Boek Gebonden (paperback)
common.buy 22.70 €
Angiotensin Protocols Donna H. Wang / Boek Gebonden (paperback)
common.buy 152.65 €
TOP
Pet Akwaeke Emezi / Boek Gebonden (paperback)
common.buy 8.49 €
Celtic Empire Clive Cussler / Boek Gebonden (paperback)
common.buy 13.80 €
Yr Adgyfodiad [A Poem]. Evan Jones / Boek Gebonden (paperback)
common.buy 14.70 €
The Reparation Settlement Signed June 7, 1929: International Conciliation, No. 253, October, 1929 Leon Fraser / Boek Gebonden (harde band)
common.buy 35.00 €
Strawberry Kisses Marianne Rice / Boek Gebonden (paperback)
common.buy 12.90 €
Adventures of a Magus - The Magick Companion Nox Publishing / Boek Gebonden (paperback)
common.buy 28.00 €
The Rosicrucian Code Elias Thorne / Boek Gebonden (paperback)
common.buy 13.80 €
Sacred Power of Huna Rima A. Morrell / Boek Gebonden (paperback)
common.buy 17.40 €
Systematic Design for Optimisation of Pipelined ADCs Jo / Boek Gebonden (harde band)
common.buy 175.96 €
Real World of EU Accountability Mark Bovens / Boek Gebonden (harde band)
common.buy 199.87 €
Footprints on the Path Eileen Caddy / Boek Gebonden (paperback)
common.buy 13.70 €
Unquoted Companies Donald A. Hay / Boek Gebonden (paperback)
common.buy 59.11 €
Not Bread Alone Nathan Macdonald / Boek Gebonden (harde band)
common.buy 221.28 €

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?