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.

Formal Verification of Object-Oriented Software

Name: Formal Verification of Object-Oriented Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01297498
Price: 1355 CZK
Availability: InStock
Author: Bernhard Beckert
ISBN: 9783642180699

Bernhard Beckert

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01297498

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

This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Celý popis

Libristo kód: 01297498

136 b

1 355 Kč

Skladem u dodavatele v malém množství Odesíláme za 14-21 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Distinció. Un segle de fotografia de moda Naranjo Niño

Brožovaná

701 Kč

Vyjdi, i vyšel Štěpán Hájek

binding.

80 Kč

Adaptive Strahlformung in intelligenten Antennen für 5G-Netze Chaitanya Vijaykumar Mahamuni

Brožovaná

893 Kč

Accès à l'eau potable Elamé

Brožovaná

506 Kč

Papà, guarda! Eva Montanari

Pevná

417 Kč

Sběratel vůní Dominique Roques

Pevná

284 Kč

Integrationsfunktion der Verfassung und Verfassungsnormativität. Sandra Obermeyer

Brožovaná

1 549 Kč

Musiklehre, m. DVD Friedrich Neumann

List

1 086 Kč

IDENTITES EN CONFLIT, DIALOGUE DES MEMOIRES. ENJEUX IDENTITAIRES DANS LES RENCONTRES INTERGROUPES ECKMANN MONIQUE Kniha

Brožovaná

1 006 Kč

Sto tváří, sto příběhů Jiří Hanuš

Brožovaná

325 Kč

Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald

Brožovaná

369 Kč

DICCIONARIO INCORRECTO DE LA NUEVA NORMALIDAD CARLOS RODRIGUEZ BRAUN

Brožovaná

571 Kč

Salben im Morgen- und Abendlande Friedrich W. Culmann

Brožovaná

748 Kč

Les Archives Star Wars. 1977-1983 Paul Duncan

Pevná

4 890 Kč

formacion de lideres estudiantiles mejoran la interaccion escolar Melo Luis Francisco

Brožovaná

1 459 Kč

Musicien et Professeur de Musique au XVIIIeme siecle Micheline Cumant

Brožovaná

226 Kč

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. §The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C sharp. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.