Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Verified Software: Theories, Tools, Experiments

Name: Verified Software: Theories, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01660430
Price: 1355 CZK
Availability: InStock
Author: Rajeev Joshi
ISBN: 9783642277047

4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Rajeev Joshi

Peter Müller

Andreas Podelski

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01660430

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, leden 2012

This volume contains the proceedings of the 4th International Conference on Verified Software: Theor... Celý popis

Libristo kód: 01660430

136 b

1 355 Kč

Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Puzzle Podzim v Turecku

Puzzle

189 Kč

Hundeschwätzchen Christine Bienert

Brožovaná

247 Kč

Warrior Cats, Gefährliche Spuren Erin Hunter

Brožovaná

240 Kč

Die Cum-Ex-Files Oliver Schröm

Brožovaná

370 Kč

Histoire et traditions des peuples Ngowe du Gabon Sergys-Dereck-Romaric Ndong-Ondo

Brožovaná

813 Kč

Das Konzept des Sozialkapitals Sandra Seubert

Brožovaná

863 Kč

Unter Eis Falk Richter

Brožovaná

410 Kč

A Psicologia dos vínculos que nos afetam Gelci Nogueira

Brožovaná

1 115 Kč

El Libro del Vermut: Un Barman Y Un Enólogo Celebran El Aperitivo Más Bebido del Mundo Shaun Byrne

Pevná

388 Kč

Marceline Desbordes-Valmore Stefan Zweig

Pevná

509 Kč

Wilde Westen Barbara Zhanial

Brožovaná

1 933 Kč

Go cửa thiền NGUY N MINH

Brožovaná

392 Kč

Guardians of the Galaxy. Vol.2, 1 Blu-ray Fred Raskin

Blu-ray

312 Kč

Sonnenuntergang bei De Koog (Puzzle) Elke Krone

Hra

1 091 Kč

Les Cosaques: Drame En 5 Actes Et 9 Tableaux ARNAULT-A-F

Brožovaná

380 Kč

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012.§The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial§submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design§methodologies, tool integration and plug-ins, automation in formal§verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verified Software: Theories, Tools, Experiments

Autor Rajeev Joshi, Peter Müller, Andreas Podelski

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2012

Počet stran 326

EAN 9783642277047

ISBN 3642277047

Libristo kód 01660430

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 516

Rozměry 155 x 235 x 22

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Matematika a věda > Matematika > Matematické základy > Matematická logika

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Výpočetní a informační technologie > Informatika > Umělá inteligence