Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer, Berlin
SKU: 05274687
Price: 51.78 EUR
Availability: InStock
Author: Ed Brinksma
ISBN: 9783540627906

Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

Ed Brinksma

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274687

Nakladateľstvo Springer, Berlin, november 1996

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algo... Celý popis

Libristo kód: 05274687

125 b

51.78 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Gustave Caillebotte Gustave CAILLEBOTTE

Brožovaná

11.34 €

La traduzione e il linguaggio nelle guide turistiche Giorgia Bestagno

Brožovaná

32.12 €

Jean Paul's Sammtliche Werke, Band 3, Leben des Quintus Fixlein aus funfzehn Zettelkasten gezogen; nebst einem Mussteil und einigen Jus de tablette JEAN PAUL

Pevná

119.38 €

Geographiedidaktik Inga Gryl

Brožovaná

33.23 €

SAMBA Joseph

Brožovaná

2.93 €

1989-2001 Comment nous avons changé Orléans Prost

Brožovaná

19.14 €

Exposé Des Opérations Faites En France En 1787 Pour La Jonction Des Observatoires De Paris Et De Greenwich Pierre Méchain

Brožovaná

17.52 €

Jezus z Nazarethu Brandstaetter Roman

Pevná

32.93 €

CEMBALO SCHULE MARIA BOXALL

Noty

60.49 €

"Atulyagotriya Sharir" : le concept de génétique dans l'Ayurveda Sandeep Lahange

Brožovaná

54.41 €

TUS ZONAS ERRONEAS EDICION DE LUJO WAYNE W DYER

Kniha

21.88 €

LIAR GAME Nº 18/19 SHINOBU KAITANI

Kniha

13.98 €

Andělská poselství lásky Elke Kircher

Kniha

14.99 €

Moja blikajúca zvuková knižka Na stavbe

Leporelo

11.04 €

Terapia akceptacji i zaangazowania Steven C. Hayes

Brožovaná

26.44 €

Wirtschaftsstrukturelle Bestandsaufnahme für das Ruhrgebiet. Klaus Löbbe

Brožovaná

64.04 €

Interventionsorientierter Explorationsbeleg.Psychosoziale Beratungs- und Behandlungsstelle fur Suchtgefahrdete und -kranke (PSBB) Michael Göpfert

Brožovaná

16.21 €

Gefühlte Zeit Marc Wittmann

Brožovaná

11.75 €

Erich Heintel: Gesammelte Abhandlungen / Band 3: Zur Theologie und Religionsphilosophie I Erich Heintel

Pevná

68.70 €

Zweistimmige Inventionen BWV 772-786, Klavier Johann Sebastian Bach

Brožovaná

15.90 €

Trueno Apacible Lucado

Brožovaná

14.68 €

La Sorciere Du Roi. Tome 4 Comtesse Dash

Brožovaná

22.89 €

La Lingere. Tome 3 Signol-A

Brožovaná

19.45 €

Vitamin Korean 5 Cho Jung Soon

Brožovaná

42.35 €

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.