Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods and Testing

Name: Formal Methods and Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570095
Price: 222.38 PLN
Availability: InStock
Author: Robert M. Hierons
ISBN: 9783540789161

An Outcome of the FORTEST Network. Revised Selected Papers

Robert M. Hierons

Jonathan P. Bowen

Mark Harman

Język

Angielski

Książka Miękka

Kod Libristo: 01570095

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kwiecień 2008

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Te... Cały opis

Kod Libristo: 01570095

125 b

222.38 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Die Rose von Asturien Iny Lorentz

Miękka

58.39 zł

Unitary Developmental Theory and Psychological Development Across the Lifespan, Volume 1 Sweeney

Miękka

278.95 zł

Mundakupunktur Jochen M. Gleditsch

Miękka

170.10 zł

Roboty z planety świtu Asimov Isaac

Twarda

56.56 zł

Judaeans by the Waters of Babylon: New Historical Evidence in Cuneiform Sources from Rural Babylonia Wunsch Książka

Twarda

840.94 zł

Bedeutung von Symbolen fur die Politik Katharina Werner

Miękka

69.70 zł

Essays Ralph Waldo Emerson

Miękka

115.26 zł

Reorganisation und Konzentration im Seeverkehr Alexander Wijgers

Miękka

69.70 zł

Ты хоть представляешь се Ð—ÐÐ¯ÐÐ˜ Ð¡ÐµÐ¸Ñ„ÐµÐ´Ð´Ð¸Ð½ Ð—ÐÐ¯ÐÐ˜

Miękka

153.48 zł

Netzwerk neu B1. Übungsbuch mit Audios Tanja Mayr-Sieber

Miękka

105.17 zł

Revue Réseaux Volume 34-196/2016 : Lieux et création Revue Réseaux

Miękka

132.49 zł

Libro para colorear el sistema solar de los ninos Anastasiia Saikova

Miękka

55.33 zł

Posliednie Chasy Zhizni Imperatora Nikolaia Pervago Andre Savine Collection

Miękka

62.77 zł

Frandskapens Lag Och Andra Noveller Och Dikter Johan Nordling

Miękka

91.41 zł

Geodesia Fisica Joan Josep Martinez-Benjamin

Miękka

92.84 zł

Encyklopedie geologie Jan Petránek

Twarda

84.89 zł

Kurzfassung in Einfacher Sprache. Alles andere als normal Yvette Wagner

Miękka

3.15 zł

Die gegenwärtige Krise Europas Martin Kirschner

Miękka

169.18 zł

Klavier-Assoziationen Tatjana Davidoff

Nuty

72.97 zł

Workflows Sharepoint(R) Designer 2013, Concepts Et Travaux Pratiques Claude COUDERC

Miękka

217.39 zł

El bilingüismo Rosario Rodríguez de Tembleque

Miękka

169.89 zł

Psicología profunda y nueva ética : nueva valoración de la conducta humana a la luz de la psicología moderna Erich Neumann

Miękka

60.63 zł

Ensayos sobre educación Michel de Montaigne

Miękka

87.34 zł

Leczenie krwia Anna Klimczyk

Miękka

83.26 zł

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods and Testing

Autor Robert M. Hierons, Jonathan P. Bowen, Mark Harman

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2008

Liczba stron 370

EAN 9783540789161

ISBN 3540789162

Kod Libristo 01570095

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 594

Wymiary 235 x 157 x 27

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Architektura informacji

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Konserwacja i naprawa komputerów i sprzętu informatycznego

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) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Informatyka i technologie informacyjne (IT) > Systemy operacyjne

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ć

Adaptive Multimedia Retrieval: Retrieval, User, and Semantics Nozha Boujemaa

Miękka

222.38 zł

KI 2005: Advances in Artificial Intelligence Ulrich Furbach

Miękka

222.38 zł

What Makes A Man Ur Friend? Kenneth Jones

Miękka

44.43 zł

Meeting Notes: For project and task organization Sections include attendees, notes, and action items Ernest Sullivan

Miękka

32.91 zł

Understanding German Real Estate Markets TOBIAS JUST

Miękka

282.31 zł

Duchess Danielle Steel

Miękka

35.26 zł

Introduction to Hydrogen Technology 2nd Edition K. S. V. Santhanam

Twarda

666.05 zł

High Performance Shake and Juice Recipes for Triathletes: Increase Muscle and Drop Excess Fat to Become Faster, Stronger, and Leaner Correa (Certified Sports Nutritionist)

Miękka

91.11 zł