Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24�27, 2023, Proceedings, Part II

Unbekannt

ISBN 10: 303145331X ISBN 13: 9783031453311

Editorial: Springer Nature Switzerland, 2023

Idioma: Ingl�s

Condici�n: Usado Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Buchpark, Trebbin, Alemania

Vendedor de AbeBooks desde 30 de septiembre de 2021

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Hervorragend

Precio: EUR 52,99 Convertir moneda

EUR 14,90 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Zustand: Hervorragend | Seiten: 348 | Sprache: Englisch | Produktart: B�cher.

N� de ref. del art�culo 42475478/1

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24�27, 2023, Proceedings, Part II

Editor

Springer Nature Switzerland

Fecha de publicaci�n

2023

Idioma

Ingl�s

ISBN 10

303145331X

ISBN 13

9783031453311

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

Hervorragend

Cat�logos de vendedores

Acerca de

Sinopsis

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Ver la p�gina web de la librer�a