Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02530704
Price: 48.86 EUR
Availability: InStock
Author: Erika Abraham
ISBN: 9783642548611

20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Erika Abraham

Klaus Havelund

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 02530704

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februar 2014

This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms f... Celoten opis

Koda Libristo: 02530704

118 b

48.86 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Moje pierwsze bajki o księżniczkach. Disney Księżniczka Ewa Tarnowska

Mehka

4.14 €

Prisma Avanza B2 Libro del profesor + CD Ruth Vázquez Fernández

Mehka

33.28 €

Inteligencia artificial y tecnologías emergentes Bharti Kalra

Mehka

36.92 €

Final Fantasy VII - Calendrier 2021 collegium

Spiralna

10.82 €

Dostoïevsky et le problème du mal Paul Evdokimov

Mehka

25.08 €

Fasciculus Dissertationum Medicarum Quarum Ima de Tunica Choroidea Lorenz Heister

Mehka

17.49 €

Magische Erstlesegeschichten von Elfen und Prinzessinnen - Miniausgabe - Erstlesebuch für Kinder ab 6 Jahren Doris Arend

Trda

5.45 €

oesterreichisch-ungarische Nordpol-Expedition in den Jahren 1872-1874 Julius Payer

Mehka

83.66 €

Excalibur Chroniken - Pendragon Jean-Luc Istin

Trda

11.83 €

Dreptul Familiei: Legislatie Adnotata Si Legi Speciale Camelia Maria Cezara Ignatescu

Mehka

18.40 €

Le relazioni nella cultura digitale: La comunicazione sociale al tempo della rete Umberto Tarsitano

Mehka

6.77 €

In Salotto ed in Gabinetto Domenico Capranica

Mehka

8.08 €

Uyuyamayanlar Adrian Barnes

Mehka

13.45 €

21 jahre in Indien Heinrich Breitenstein

Mehka

19.42 €

Guía ilustrada de la medicina china Xu Yi-Bing

Mehka

21.24 €

Die Zins-Wucher-Gesetze, vom Standpunkte der Volkswirthschaft Karl Braun

Mehka

20.23 €

Terapias ancestrales María Teresa de Jesús Mosquera Saravia

Mehka

49.47 €

Kaiser Friedrich II. Olaf B. Rader

Mehka

8.59 €

Wahrnehmung durch Bilder Alexander Ombeck

Mehka

53.51 €

This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions. In addition the book contains one invited contribution. The papers are organized in topical sections named: decision procedures and their application in analysis; complexity and termination analysis; modeling and model checking discrete systems; timed and hybrid systems; monitoring, fault detection and identification; competition on software verification; specifying and checking linear time properties; synthesis and learning; quantum and probabilistic systems; as well as tool demonstrations and case studies.

Igralka & Poliglotka

EWA KASP za

Predvajaj video

Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Tools and Algorithms for the Construction and Analysis of Systems

Avtor Erika Abraham, Klaus Havelund

Jezik

Angleščina

Vezava Knjiga - Mehka

Datum izida 2014

Število strani 652

EAN 9783642548611

ISBN 364254861X

Koda Libristo 02530704

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Teža 1015

Mere 155 x 235 x 35

Kategorije

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

Podarite to knjigo še danes

To je povsem preprosto

1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Fuerteventura Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Ruby Morris

Mehka

12.33 €

English for Medical Purposes: The Lungs Virginia Allum

Mehka

12.13 €

Works Of Orestes A. Brownson Orestes A. Brownson

Mehka

43.60 €

Altar Dorado Michael Merry

Mehka

18.61 €

Microbes and Microbial Technology Farah Ahmad

Mehka

206.29 €

Toccatas, Fantasias, Passacaglia and Other Works for Organ Johann Sebastian Bach

Mehka

34.69 €

Cypher Evolution Penny Burton

Trda

32.67 €

Cyber Risk Handbook - Creating and Measuring Defective Cybersecurity Capabilities Domenic Antonucci

Trda

77.09 €

Year the Beatles Broke Up JANICE E BLACK

Mehka

18.40 €

Dissent Ralph Young

Mehka

35.81 €

Models of the Visual System George K. Hung

Trda

206.29 €

Dungeon Crawlers: Episode 1 Stefan U G LeBlanc

Mehka

12.33 €

Aeschylus' Eumenides: A Dual Language Edition Aeschylus

Mehka

9.70 €

How To Write Your First Book: 12 Surefire Hacks Boomy Tokan

Mehka

12.84 €

A.V.A.T.A.R: Live The Life You Were Meant To Live Rick Pulido

Mehka

8.08 €

Substance of a Sermon, Preached at Baltimore, in the State of Maryland, Before the General Conference of the Methodist Episcopal Church, on the 27th o THOMAS COKE

Trda

25.59 €