Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verified Software: Theories, Tools, Experiments

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

Język AngielskiAngielski
Książka Miękka
Książka Verified Software: Theories, Tools, Experiments Rajeev Joshi
Kod Libristo: 01660430
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 2012
This volume contains the proceedings of the 4th International Conference on Verified Software: Theor... Cały opis
? points 142 b
248.18 zł
Dostępna u dostawcy Wysyłamy za 9-15 dni

30 dni na zwrot towaru

Klienci kupili także

Puzzle Podzim v Turecku / Gra/Zabawka Puzzle
common.buy 37.80 zł
Hundeschwätzchen Christine Bienert / Książka Miękka
common.buy 46.02 zł
Warrior Cats, Gefährliche Spuren Erin Hunter / Książka Miękka
common.buy 44.61 zł
Die Cum-Ex-Files Oliver Schröm / Książka Miękka
common.buy 68.78 zł
Histoire et traditions des peuples Ngowe du Gabon Sergys-Dereck-Romaric Ndong-Ondo / Książka Miękka
common.buy 151.01 zł
Das Konzept des Sozialkapitals Sandra Seubert / Książka Miękka
common.buy 151.01 zł
Unter Eis Falk Richter / Książka Miękka
common.buy 76.30 zł
A Psicologia dos vínculos que nos afetam Gelci Nogueira / Książka Miękka
common.buy 207.37 zł
El Libro del Vermut: Un Barman Y Un Enólogo Celebran El Aperitivo Más Bebido del Mundo Shaun Byrne / Książka Twarda
common.buy 72.29 zł
Marceline Desbordes-Valmore Stefan Zweig / Książka Twarda
common.buy 94.65 zł
Wilde Westen Barbara Zhanial / Książka Miękka
common.buy 338.34 zł
Go cửa thiền NGUY N MINH / Książka Miękka
common.buy 73.19 zł
Guardians of the Galaxy. Vol.2, 1 Blu-ray Fred Raskin / Wideo Blu-ray
common.buy 54.64 zł
Sonnenuntergang bei De Koog (Puzzle) Elke Krone / Gra/Zabawka Gra
common.buy 190.92 zł
Les Cosaques: Drame En 5 Actes Et 9 Tableaux ARNAULT-A-F / Książka Miękka
common.buy 69.99 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Verified Software: Theories, Tools, Experiments
Autor Rajeev Joshi, Peter Müller, Andreas Podelski
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 326
EAN 9783642277047
ISBN 3642277047
Kod Libristo 01660430
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 516
Wymiary 155 x 235 x 22

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Israel Becomes a People -Leade Bible Study Paulist / Książka Miękka
common.buy 53.04 zł
Newcastle Upon Tyne Ordnance Survey / Prasa Mapa
common.buy 76.70 zł
All About Ellie Callie Barkley / Książka Miękka
common.buy 29.57 zł
Walking in a Giant's Footsteps Victoria Valentine / Książka Miękka
common.buy 62.97 zł
Amazing Heights: The Golden Age Ole Steen Hansen / Książka Twarda
common.buy 116.62 zł
Phantasie - A Score for Solo Piano Op.17 (1838) Robert Schumann / Książka Miękka
common.buy 74.00 zł
Secret Power of Tantrik Breathing: Techniques for Attaining Health, Harmony, and Liberation Swami Sivapriyananda / Książka Miękka
common.buy 63.67 zł
Aline Barnsdall's Olive Hill Project: Frank Lloyd Wright Sketches and Drawings, Edmund Teske Photographs Jeffrey Herr / Książka Miękka
common.buy 76.80 zł
Coordination of Complex Sociotechnical Systems Stefano Mariani / Książka Twarda
common.buy 436.21 zł
Reading Wonders, Grade 2, Leveled Reader the Sounds of Trash, Beyond, Unit 3, 6-Pack Mcgraw-Hill Education / Książka Miękka
common.buy 334.12 zł
Consciousness in Modernist Fiction Violeta Sotirova / Książka Twarda
common.buy 247.48 zł
"Funny Fungal Diplomacy" and Other Stories: Four Humor Novellas Thomas P Hanna / Książka Miękka
common.buy 58.75 zł
Expedition Pointe DR. M / Książka Miękka
common.buy 90.14 zł
Munster Cottage Boy REGINA ROCHE / Książka Miękka
common.buy 97.86 zł
Teacher Guide and Novel Unit for the Crossover by Kwame Alexander: Quick Student Workbooks John Pennington / Książka Miękka
common.buy 36.19 zł
Pandora's Box Wedekind Frank / Książka Miękka
common.buy 33.28 zł
Alfonso X, the Justinian of His Age Joseph F. O'Callaghan / Książka Twarda
common.buy 293.91 zł
A Winning World: Triumphant Living By Choice Shermanda Anderson-Ramsay / Książka Miękka
common.buy 103.08 zł
Parenting Your Addicted Child: Participant Manual Lynn Raveling / Książka Miękka
common.buy 55.34 zł
Walking the John o' Groats Trail Andy Robinson / Książka Miękka
common.buy 76.50 zł
An Architecture of Light Houria Chérid / Książka Miękka
common.buy 102.78 zł
ALICE IN WONDERLAND CARROLL / Książka Książka
common.buy 111.50 zł
Toast to Love and Sacrifice Andrea Rachiele / Książka Miękka
common.buy 106.99 zł
Haunted Cork Darren Mann / Książka Miękka
common.buy 67.88 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?